I'm working on a 1979 Flash pinball that's been in a garage for 25+ years. Dust and grim have infiltrated all parts of the game. What do people recommend for polishing up the lights sockets. Sitting for so long almost all the sockets have a white dust on them. The sockets have what seems to be a paper separator between the contacts and at the bottom inside of the socket. I've tried a tumbler before, but that gets a lot of media in between the contacts and inside. How about an ultra-sonic cleaner with just water? Any other suggestions besides just buy new sockets? You can see in the image, especially the middle, the white dust on the socket. I assume it's just the material the socket was made from reacting with moisture.