https://pinside.com/pinball/forum/topic/general-question-contact-cleaning