@zetasyanthis thanks! I got to watching techmoan videos and there was one that talked about using "tepid water and washing-up liquid" as one of several methods of cleaning a vinyl record and I was curious
(one of the other methods was literally to use a pressure washer, which amused me)