https://pinside.com/pinball/forum/topic/price-of-old-machines-when-new