https://pinside.com/pinball/forum/topic/keep-demolition-man-or-upgrade-to-ghostbusters-pro