Which Record Cleaning Machine?

I have a discussion forum buddy in Belgium who runs a video rental store. He's a big jazz-on-vinyl enthusiast, and vinyl playback in Europe is pretty popular--popular enough that he has trouble finding any used jazz LPs on vinyl for sale over there.

Anyway, he was thinking of installing a record cleaning machine in his shop to attract more customers and to provide a service to fellow vinylphiles.

His question to me is which RCM would be the better choice within his budget--the $1295 VPI HW-17F or something from Loricraft?

Thanks in advance.