https://pinside.com/pinball/forum/topic/which-plunger-is-best