The best way to remove permanent markers is to use WD-40 or Contact Cleaner.
In my case I will use the Philips Contact Cleaner.
Take a piece of cloth and spray Contact Cleaner or WD-40.
Rub the cloth gently on the permanent Ink.
Abracadabra. The magic happens.