I think it depends mainly on what everyone's top price is. For me I would never go $10k plus because at the end of the day it's a pinball machine and I don't believe $10k could ever be justified for a pin. I bet if we found the average max price everyone would pay for their favorite pin we could figure out the crashing point of the market.