If anyone is looking for cleaning options if you have a sizeable collection.
Pick up a 6L ultrasonic cleaner off amazon. I just bought an attachment and motor to rotate the records, you can build your own if you're crafty to build up a bracket. My prebuilt one came in a machined aluminum housing and was a simple setup. It needs a shim over the edge of the cleaner so it doesn't tip or a counterweight on the back. You're looking at less than $200.
For cleaning solution. If I'm picking up some thrift stuff, I'll do a either a pre-rinse to get off any dirt/dust, or just give it a hand scrub with a microfiber sponge + cleaner. I use distilled water + about 20-30 drops of Tergitol (if it's good enough for the national archives, it's good enough for me), set the temp to 35 degrees C and clean anywhere from 1-6 records at a time, 10-15 minutes. Post cleaning rinse with pure distilled water in a lab spray bottle, put the records on a plastic rack with rubber tips that touch the records to air dry. Change the water probably every 20-30 records. Water is cheap and you don't want to have your records swimming in dirty water.
Records in poly lined rice paper archival sleeves (I get mine in bulk from QRP/Acoustic Sounds, Mofi is good too but more expensive and always in/out of stock), then a clear poly jacket sleeve, record outside the sleeve to avoid ring wear. Carbon brush the record before each play.
For me, works real good. The warm water and surfactant gets in the grooves, you'll see a pile of dirt on the bottom of your bin. It's a touchless cleaning as long as I'm not trying to save some 25 cent thrift store find. I'll do this to any record, even fresh opened records because there can still be mold release or surface dirt from the pressing plant, the paper sleeve it came in, etc.