Maybe not really subject of this sub-forum but... I would like to fix quite tiny scratch on Sony A7R body’s black plastic (around 5mm long, 1mm wide). Black color came off, and white is a bit visible. Not a big deal but anyway. I thought of using a black permanent marker but remembered reading somewhere that those can degrade plastic ocer time (maybe). At least solvent based...? What simple tool I could use? A non-solvent based marker? Are all Sharpie markers like this? Or they can degrade plastic as well? Any other easy tools to repair small plastic scratches? Thank’s!