So glad I have an ultrasonic cleaner. I have tried many other cleaners and I pair it with my Record Doctor vacuum and I have a cleaning set up somewhere in between your two set ups that does a way better job at cleaning New and Old Records.
Very good video to see what other people are using...