I know @mijostyn is looking for opinions from clearaudio users. I have never used one. I just wanted to offer the DeGritter alternative. It is cheaper but slower (5 - 10 minutes to a clean and dried LP). It uses a sweep of different US wavelengths and actively filters the cleaning fluid with an easy to wash/change filter. It is super easy to work with and you can clean a record on demand, no setup time. I used to use Cleaner Vinyl setup and although you can clean multiple records at a time, setup time required batching records for long cleaning sessions.
Anyway. Glad you got a bunch of new (used) records!