You'd easily get a good runner for a third of that, perhaps a little less if you're lucky and shop around. As said prices can sometimes be inflated. For £3k you could get a minter. You'll pay more for certain things, like being an oak green (probably rarer on 8v's, up to you whether it's desiarable enough to pay more for), 3 doors normally cost more than 5 doors, again it's what's more desiarable really.
I'd shop around if I was you, and look to get something for around half of that, then spend the rest on a few upgrades or putting things right, and there will always be some things with an older car!
Also remember to budget to do a full service on it when you take the plunge, I always would regardless of it having docs to say it's been done recently. Peace of mind and all that, so you'd be looking at oil & filter, air filter, new dizzy cap and rotor arm, new plugs and leads, maybe coolant change and or brake fluid. I'd always look to do those things with any car I buy.