Years ago when I had vinyl, I just used water and
dawn dish detergent and a soft cloth. I did this for years and never experienced any problems with this method.

https://docs.google.com/spreadsheet/ccc?...amp;usp=sharing