I use a lab grade US tank, made by Elmasonic. Runs at 80KHz or 37KHz - I use 80, and a rotating spindle to run one revolution per 9 minutes. Usually once through is enough, but some garage sale specimens have required 3.
Two threads might interest you: one here on Audiogon by antinn, a high class expert in cleaning technology. The other is a long thread on DIYaudio. Turns out that 80KHz is a really good frequency for records.
The reasons you might want a lab machine are: 80 KHz, internal heater, enough consistent power, and generally meets spec. As you know, lab equipment has to meet spec or there is Hell to pay. Consumer audio, not so much.
Bit of a DIY approach, but that's my style ...