Having had the pinbot bargain off Alan in Feb, I feel the price of that with RoboCop is a fair amount of pinball action for under £5k including all the upgrades I've done to pinbot it's still under that threshold. My wife paid over the odds for Family Guy but that was a suprise birthday present.
We have 3 Pinballs all for around the price we'd have to pay for a Stern Premium.
After having played all the recent Stern (LEs) recently in the USA, I wouldn't swap any of them for FG. GZ & AIQ were my preferences, but I certainly won't be clamouring for any of them in the near future when they're for sale or in stock. If a Tommy, Batman DE or South Park comes up for sale in 12-
24 months I'll probably pay more than what people think is sane again then but that's just my taste.
If MM or ATM are ever re-run again we'd probably be prepared to pay the NIB price. But they're very special games, I don't believe the new Stern pins reach those heights in my inexperienced, naive opinion.
Cheers