Thank you all for the reples.
Yes, I agree with you dogberry, one can spend considerably more for a 120 Khz machine vs. a 40 kHz machine, the latter of which can be purchased for $200 from China.
I am considering the Degritter (120 kHz only I believe) or a machine from Cleaner Vinyl, now selling triple frequency machines.
https://www.cleanervinyl.com/shop-multi-frequency-cleaners.html
George Merril also sells an inexpensive machine - $200. He claims it is as good as US. Relies on a jet of water from your faucet.
Part of me thinks an ititial manual cleaning using the Merril machine followed by a US cleaning at a higher frequency is the way to go. But this is just a hunch. I need to do more homework.