You would hope a $9K car was running and driving.
Market value for nice non-2.0L cars seems to be $8K and up. Finding unmolested 2.0Ls at the sub $10K buy point is becoming increasingly difficult and very nice cars can push $20K pretty easily.
I'm familiar with a couple very nice four cylinder TX cars that have sold for more thank $10K in the past year or so.
This is a '74, 2.0L injected car with mild updates. No rust, no body damage, 2 owner and 60K original miles. It sold for $12K and then had $7K invested in paint and trim to get it to near perfect.
The PO is a close friend and when he saw it "refreshed" he had a bit of sellers remorse. I think the car was priced pretty well in late 2013 and it went to a good home.