The question is will a bunch of people still have money to buy pins.
Just think of the number of parents who have to pay to temporarily move their kids out of the numerous colleges shutting down early, and likely have to float them some additional money if they were working part time at sports arenas/theaters/concert halls/etc... that are temporarily suspending operation. Operators are about to see a bunch of working class people who have to go with a few months of slow down, possible temporary layoffs, or other reductions in pay as the global supply chain has been disrupted, so less going to bars and less likely to play pinball for a dollar.
Of course, much like stocks...the value of the pins will eventually bounce back. But it's going to be rough for a bit as a glut of games come up for sale at once.
I feel like I'm seeing less insane prices than I was a few months ago, but it may just be confirmation bias. It's hard to seperate what is priced to move and what titles are just unpopular.