Yikes! Double yikes!!! I was a nervous wreck, standing in front of the commercial machine with its ever growing mound of suds, watching for a tell-tale sign that some fabric somewhere had run. But all is well. Sigh! Double sigh of relief!!! The quilt came through fine with just one tiny spot of blue dye where it shouldn't be. I can easily fix that and am not concerned.
Agitation from a regular home washing machine is what tears up quilts. I went to a laundromat with extra large front loading machines which gently toss loads. I used Orvus paste I'd dissolved in warm water at home, a little Synthrapol and a cold water wash/rinse. The pencil marks are gone and colors preserved. I'm happy.