I paid roughly that, (in GBP) though a year older and less miles at 190000km (118000 miles)
Mine came with plenty of Tax and Test, service history stamped up to 117000, and a flash head unit (now on Ebay as I can't work the friggin thing, too high tech for low brow me!).
That add you link to states that car jumps out of second gear.
I know these can jump out of 5th and the repair is fairly straight forward, but I wouldn't know about repairing 2nd gear??
Well, my local spanner man has had mine up on the jacks, seems there's play in the anti roll bar link and a little in the strut top mount at that side, but everything else is tight.
The ARB to chassis D bushes look tired as well, but I'll get the bar bound up with a few turns or electrical tape, that should take the slack out of them.
(I'm a tight bugger I know, but this is a budget banger for me, take the strain off my normal car)
As the weather is awful here, I'll let him do them after I beat him up on price.
Yes, I've found out the clutch pedal can be adjusted to take out the slack in the pedal box should be something like 5-10mm freeplay and a height of around 170mm, or so I'm told.
Cheers for the info on the key, will have to pop out and get one cut.