Stern loves Pinheads!
They've passed the 2022 Cost of Doing Business onto the Collector/Flipper market. Those dudes typically have loads of $$$ anyway and aren't going to put 4,000 plays on their machine.
IMO Pros at $7,000 is a modest increase in pricing considering skyrocketing costs/prices everywhere.
Pro is the way to go.