You can order the discwasher stuff pretty inexpensively here:
<a href="http://www.garage-a-records.com">Garage A Records</a>
Personally, I really like Disc Doctor stuff. It's a deal with two brushes and some cleaning fluid. You scrub the record with the fluid and one brush, then rinse with distilled water and the second brush, then dry in a dish rack. It is more expensive than the Discwasher stuff, but does a really great job. The disadvantage is you have to clean and let the things dry for like a half hour or hour before you can play 'em, but once you use it once, just a dry brush is all you need the rest of the time. I usually clean about a dozen or so at a time. For about $50, you get the brushes and enough fluid to clean hundreds of records. If that iunterests you, go here:
<a href="http://discdoc.com/">Disc Doctor</a>
Or, you could just fill a bottle with 3 parts or so distilled water to 1 part alcohol and add a drop of dishwashing liquid.
and his wife just wants to play her old vinyl. I suggested she clean them before playing to keep their stylus in good shape, but as I suspected, they had no idea they should clean them before each use. I knew I had the discwasher so he's going to stick with that since it's easy to use and, since it's free and he's on a budget, he'll stick to that rather than your Disc Doctor suggestion. If it were me, I'd spend the $, but he and his wife are far from audiophiles, so the discwasher will be just fine.
Regards,
Swish