Tartan, I agree with your advice. Best I've heard. Bought and sold old quilts for years. If in doubt about washing, don't. Get an educated opinion as you mentioned.
I might add, an option to start with is place some netting over vacuum hose and gently remove lint and dust first. Do not place in direct sunshine.