Player or collector?
Like it or not, the Pinball marketplace is akin to Classic car collections. If you want a mint edition then you have no choice but to pay the going rate unless you drop on extremely lucky.
I've paid premium for a few of mine and don't regret it because it's an investment and I treasure the machines. I'm a player and a collector btw.
I also mod and upgrade them, I'm not particularly anal about keeping them as they were made so will add invisiglass, colour dmd, pinsound, nice mods etc.
Being realistic the only chance you get of grabbing a mint restored top 5 machine thats 23-
24 years old is paying for the work that someone has put love into a machine restoring it, spending 100+ hours at least. Either that or time travel back to the early 90s.
I very recently saw a TAF on a enthusiast forum in the states get listed for $13k (£10,600) but it was mint right down to every last screw. Whilst I think that is a little optimistic, people are happily buying new Stern LE's for 8 and 9 grand and they aren't a patch on this machine gameplay and build wise.
But there's always TAFs for sale at much less, some beat up, some OK and it's a great, great game whatever you paid.