Was using, sponge, dish soap, hot water.
Magic Eraser, dish soap, hot water does a better job.
Magic eraser doesn't seem to do any damage to the vinyl and gets rid of all the nasty's.
My inexpensive cleaning system that does a good job. Afterwards hit it with a zerostat if needed and your good to go.
WN....