Hi all, I'm new to owning a pinball machine. I just ordered some nice shiny pinballs to replace the lightly scratched ones that came with my machine. I read that you should clean the factory oil off of new pinballs before installing them in a pin. Is warm soapy water and a thorough drying good enough, or do I need to do something more? I read some people use brake cleaner, is that really necessary? Seems a bit like overkill, and I'd rather not have to buy another cleaning/maintenance product that I'll only use for my pinball hobby. What do you all use on new pinballs?
Thanks in advance for any advice!