What's the best solvent for removing rubber residue from flipper bats without softening or damaging the plastic? Alcohol and naphtha have removed some of the surface residue, but what's left has been ground-in from thousands of ball hits and won't budge. Will anything dissolve this without harming the bat?