How to remove Vinyl Top glue?

I used paint stripper... it was nasty stuff but it got the old residue off quickly. I thought about sanding it but the 20 minutes of using paint stripper seemed better then 60+ minutes sanding. I would make the same choice again and make sure you've got some fresh air!