I've used it for a lot of things...but so far, not for pinball applications.
I stopped once I looked at the health risk.
I use Castrol Super clean to degrease almost everything now.
--
Chris Hibler - CARGPB #31
http://www.ChrisHiblerPinball.com/Contact
http://www.PinWiki.com - The Place to go for Pinball Repair Info