Quoted from tracelifter:I don't know I am just glad I resold it rather than putting 4K+ into it and my time to restore it.
9k is still a good price if someone wants an original game though.
You really can't compare a pre-MMR announcement sale to now. The market has changed.
I paid $3000 each for Superbowl tickets a few years ago. I'm pretty sure I can't sell them for that much now. The market has changed.