+1 inagroove. I would highly recommending experimenting to see what works. It's just water and plastic/vinyl, so you won't hurt anything.
I have about 1200 records. I have two processes, both using CleanerVinyl RCM. Have had the RCM for about 8 years or so.
1 - for new and mint/near mint used - 15 minutes in RCM @ 35C. air dry in RCM with fan. Then wooden rack air dry. I was worried that the fan would add more dirt to the record, but that's not the case.
2 - for dirty records where #1 doesn't work. 10 minutes in RCM @35C. scrub - literally - with Disc Doctor record cleaner. about 10-20 scrubs for 10% or so of the record. Do both sides. Might as well right? Tap rinse. 10 minutes in RCM @35C. Scrub again. Rinse again. RCM again. Then fan dry in RCM. Air dry in rack.
Out of all my records, I had to use #2 for maybe 15-20 of them. And it worked on all of them save one.
YMMV of course. Good luck.