The answers are pretty much all in there. And there's no right or wrong answer. He can sell his for 30k by all means but whether or not people will BUY it at that price is another story.
Yes, not everyone buys from Jspec but thats just an example of what is available out there. I purchased mine for 32k a year and a half ago, auto, turbo, 36ks on the clock...
Since then I have learnt a lot more about these cars and what they go for now. If I were to buy another one today, I would definately not pay 30k for it again, knowing whats out there.