Here is a simple process of taking off any thickness of permanent ink off any kind of plastic (I use an old gameboy game as an example). Gun bore cleaner takes it straight off without damaging the plastic.