https://pinside.com/pinball/forum/topic/ebd-seeking-pop-bumper-switch-replacement