Paint on Hot Tub Cover

One of the guys set this client’s hot tub steps on top of the cover, and left it when we had to come back to finish the job later… now there’s paint transfer on the vinyl(?) cover. I was figuring Goof Off, or maybe the sensitive surface graffiti remover wipes. Anyone ever run into this, or have nay other fun ideas?

If you know the manufacture of the paint call their customer service. Worked for me years ago.

Can’t be much. Just some paint thinner or gas should do it.