Pinball prices have gone up a lot in the last two years. Comparing the prices at this years TPF, as compared to 2019, was an eye opener. There was a Xenon at TPF with a $3200 asking price. I thought about buying it, even at that price. However, it looked pretty clean and played well. Ended up not getting it though. Got a High Speed II instead. It has mild wear and needed a rubber kit and good cleaning. It was over $4k.
Based on what I remember, I'd say prices are up ~30% since 2019, and that's pretty much across the board.