https://pinside.com/pinball/forum/topic/top-pin-not-booting