https://pinside.com/pinball/forum/topic/no-red-color-on-pinball-2000-pin