that seems pretty fair, i bet theres at least 10k in the engine alone plus thats a damn clean third gen, that guy is also on this site under the same name
it looks like a nice car, would be helpful if he had some track times or dyno numbers but things are only worth what someone is willing to pay for. 9k for a clean third gen is a bit high. the added price is for someone looking for a turn key, modded car.