Absolutely definitely use alcohol.
The best stuff is pure isopropanol spray that you can probably buy from OCUK as it's what you use to clean CPUs before applying thermal compound.
Could have been worse, could have been done with a Key, rather than Pen![]()