There is a solvent for 5200 which is also magic for getting 30 year old
striping tape residue and similar stuff off. I forgot the exact name but it
is something like "Marine Formula". Google should turn it up.

--
Roger Long