If I'm not mistaken, that lash-up pump & filter system is what Tima uses. I use a Pentek Big Blue whole-house water filter for my home. Makes lots of sense to incorporate a smaller version for this application.
I've noticed, along the way, that you have judiciously avoided subjective issues like sound quality achieved or capable of being achieved by different record cleaning methods and kept the discussion strictly focused on quantitative cleaning results. Not surprising for a person with a good mind for science! However, I can't help but wonder if you may have some preference(s) for one cleaning method(s) over another as it impacts on sound quality. The prevailing wisdom or opinion in audiophile circles is that US cleaning yields the best sonic results because it obtains the best cleaning results with the least wear & tear on record grooves. Seems to make sense, in theory, but audiophiles are fond of splitting hairs and chasing their tails in search of the holy grail of best audio quality. As such, I can't help but wonder if careful & proper manual cleaning can achieve the same sound quality improvement(s) as other methods with inconsequential wear & tear on those precious record grooves where the music lives.
All the best!