Just find a non-plastic-safe cleaner at the store. I would think that would be easier than polishing each key individually.
Yes, I think that might be the right way to go eventually. I have now tried several things:
* The metal brush tip on the dremel was crap. Actually made the surface rougher
* The dremel grinding tool was amazing and worked perfectly to remove the bumps on the F and J. Yay! Not good for making the keys smooth, though.
* I started dremeling the whole thing with polishing compound and felt (or whatever it is). 10 seconds per key. On my second key I ran into a problem: the tool got hot and melted the plastic. Made an ugly rough spot. Bad idea. The dremel thing works but it requires care and patience.
* Used 400 grit sandpaper to remove that rough spot. It worked ok. Buffed it with the dremel. Maybe the 1000 grit thing was the way to go. I just don't have any.
* Unfortunately my wife gave away our Novus just the other day. Not worth buying for this purpose.
Sigh. So...any ideas on a non-plastic-safe cleaner? I can't believe the mineral spirits didn't do anything to it. Maybe 30 seconds wasn't enough time.
Edit: even more amazingly, fingernail polish remover didn't do anything to it either (though it did seem to affect the paint). I thought ABS was susceptible to attack by acetone. That stuff stinks, though. Not sure I want to work with it for long.