You mention using propylene glycol in your cleaning mix.
https://www.amazon.com/gp/product/B0C4W8S79G/ref=ox_sc_saved_image_1?smid=A343O3SRMXM69V&psc=1
I would not recommend using propylene glycol in a cleaning solution for vinyl records. Propylene glycol can soften and swell the surface of PVC which makes it difficult to remove. If not completely removed, it leaves behind a sticky residue which can attract dust and other airborne particulates.

