https://pinside.com/pinball/forum/topic/batman-tdk-vs-tron-pro