Wow a lot of people like to just make numbers up.
a little research goes a long way. Reading this JJP license cost is only $200 (https://pinside.com/pinball/forum/topic/roughly-how-much-money-does-it-cost-stern-to-buy-a-license) per game so how much more can a 28 year old license be? Lots of nonsense stated