Vinyl cleaning - Ultrasonic vs. Walker products


I recently inherited some vinyl records and would like to know the best method to clean them. These are from the 1950's thru 70's. How do the different cleaning methods compare?
fiesta75
Thanks for all the suggestions. My budget is less than $1K, have about 200 to do. Some are in good shape and other are quite dirty, to the point I would not consider playing even after using my discwasher several times.
Wow, Audio desk is $4K... Would the VPI 16.5 be the next choice? From what I have read, ultrasonic is the way to go?
I own the Okki Nokki, about $500 and it does an excellent job for a vacum cleaner. The VPI is also within your budget. The motor on the VPI is a little louder if that matters to you.