FWIW.....automotive shops sell a headlamp cleaner that (supposedly......) restores plastic (?) lenses to their original luster ....
You might try this....have only seen ads for it on TV.....can't remember the name of the product, either....!!
Google "headlamp lens cleaner".....Good Luck!
Always try to get the dibs....on fountain pens with EF nibs!!
I would just use toothpaste! I recently took my mother's car in for service to have a faulty headlamp replaced, and after the mechanic installed the used headlamp, he applied a rather thin layer of toothpaste and using an electric drill he proceeded to polish the headlamp. this process took him roughly 20 minutes, as he reapplied toothpaste a few times, however, when he was finished it looked as if it was brand new!
I imagine the process would be about the same if you were to use a Dremel, but should you have limited resources, then I am sure it shouldn't take much longer doing it by hand since it is a small area! I would avoid using other chemicals since there could be other adverse reactions to the surface. The only reason I do not use alcohol is because of the warning that was included in my Twsbi Eco demonstrator, or I am very sure I would have attempted using it on a few very stubborn ink flushing situations I have had in the past!
Best of luck to you!
Edited by Thewordsman, 09 December 2015 - 18:43.