A few months ago I got a Vevor US. Run a full batch of 9 records for 30 minutes at 40–45C, using RO water from home tap (TDS ~40) with a drop of dishwashing liquid. Then vacuum off excess water, a bit of airdry while I load up the next batch.
I noticed drop to zero random small clicks (= small dirt particles) and background noise compared to vacuum only. I don't think the esoteric vinyl cleaning solutions make any audible difference, particularly, as 99% is vacuumed off. I used up some of that stuff I had from before, no difference to dishwashing soap. Noise floor cannot drop below zero. Those recipes with all sorts of alcohols (plus additives in what you get at the store), photographic wetting agents etc. is a needless complication, as far as I can tell. That also suggests that rinse in DI is not necessary given concentrations of chemicals in the washing solution. Residual is of <Å "thickness", meaning there are scattered molecules on the record surface, a few orders of magnitude below what a stylus can detect. Additionally, our listening environments are not ISO certified clean-rooms. Surgical cleanliness is pointless.
And FYI, I have done plenty of PCR/DNA sequencing and SEM, where chemical concentrations and small scale cleanliness matter. That has also taught me to put things into perspective. Just enjoy the music, that's what all this is about, allegedly.