https://pinside.com/pinball/forum/topic/what-pin-is-getting-colorized-next