My only problem with record cleaning machines are that they cost a lot and are only meant to last for two years. That is if the warranty is any suggestion of the lifetime of the product. If you pay 5000 usd for a machine and it only last two years, and you have only washed 100 records with it, then that’s a bad investment...
Anyway, I will go for the KLaudio and I hope it will last long. I only have 150 records, but they mean a lot to me.
Why not go DIY for much less and similar results?