There's a lot of chatter on forums about using cleaners/surfactants with US cleaners - what type, or whether to even use them at all.
It seems generally acknowledged that surfactants work well in aiding the US cleaning process, but some are uncomfortable leaving any residue on the vinyl.
The Degritter cleaner apparently leaves a fine "anti-static" coating that they claim does not affect playback at all. Some beta testers seem to agree as they use the surfactant.
But for those uncomfortable leaving it on, an idea is to do a double wash - first with surfactant, second to wash the surfactant off (Degritter says you can wash off the surfactant).
I inquired a while ago about the possibility of acquiring an additional water tank to make a double wash easy - just have the tank with fresh water, sans surfactant, on hand to switch in after the first wash. They said they'd be making the water tanks available on their own. Nice to see they will be available!
(Though I'm looking to simplify the record cleaning process as much as possible, which is why I went with a Degritter in the first place. So if I like what I hear using the surfactant I'll likely stick with that).