https://pinside.com/pinball/forum/topic/whats-the-best-way-to-polish-pinballs