https://pinside.com/pinball/forum/topic/how-rare-is-de-robocop-pinball-1500-units