Installing a vinyl top and got a bit of adhesive on the vinyl. Using the 3M super trim adhesive. What's a good product to remove that?