https://pinside.com/pinball/forum/topic/ever-had-the-same-pinball-more-than-once