https://pinside.com/pinball/forum/topic/pin2dmd-colorization-for-doctor-who