Quoted from Pinmeister:
It is a good thing that you don't need to sell it because at $23K you won't. To buy one and have it fully restored is in the $14-15K area.
I betcha he gets close. All it takes is for some NFL receiver to play an MM at a friend's house, tell his assistant to find the best one they can. The assistant finds the ad on Pinside, calls the owner and negotiates him down to $21.5k. He tells his boss he has a perfect example coming and he "beat the guy up on price" and Voilà, game exchanges hands. Happens all of the time.
Feel free to sub NFL Receiver with Investment Banker, NHL Forward, NBA Point Guard, Social Media Company Owner, etc.