JMO… I honestly think Covid drove all prices up because everybody was stuck at home. Now that everybody’s getting out and about regularly again, that $6000+ is now going towards family vacations. Game rooms are great, if you live in areas where you get snowed in or basically you have to spend a lot of time in the home. But if you live somewhere, where outdoor activities are a big thing, like here in Florida, I don’t think pinball is a high priority any longer. Now granted some of us newbie collectors are loving it and plan to take advantage. But I totally get where some of y’all that invested $10-$15,000 on a machine and you’re getting 8000 now, I wouldn’t be particularly happy either.