Quoted from KenLayton:I just give the plastics a quick spray of Mean Green and immediately rinse in water.
Mean green is the best all around used for years. Harder to find but dollar stores carry it and at $2 per gallon this stuff can remove cabinet smoke stains and everything else. It will beat up your hands if you use to much but just the best for pinball. love this stuff. I also put mean green in the ultrasonic cleaner to clean jewelry etc and it cleans everything.