This is where the recent hyper-inflated prices come from. 4K for a T3.
I service pins for a living, so I see lots of collections, one thing has been in common with all collectors these days, the list of inflated values everyone is so proud of. Every day I get to hear the story of how they paid $700 for a game and now it's worth $5000. I've had a guy show me a list of his games (with all hyper prices) and break down each exaggerated price to me, claiming how he has a million dollars worth of games. And he didn't. So I said 'If they are worth so much, sell them', he listed about 8 games everywhere, CL/Ebay/MrPinball, and you know what, not one sold. NOT ONE.
The value of a machine is whatever it sells for, and not a penny more.