https://pinside.com/pinball/forum/topic/do-you-clean-it-before-you-sell-it