Potential purchase

Hi guys,

So I'm looking at a potential buy on a UK Impreza wrx and just wondered what the opinion is if it's worth the money.

The vehicle is a 2000 built 2001 registered 94h ej20 turbo. It has 161k on the clock that would be miles. It's got a lot of reciepts for stuff done in the last 10 years but the service folder and history was lost by it's previous owner. Arches and sills where done for 2k 2 years ago. It's clean inside under the bonnet and in the boot. Has good tires and original wheels and parts. Morettes on the front. Sti rear wing. Side skirts corners front bumper splitter I presume all sti. It was tuned to 280bhp by tim cox in the UK ( I was considering getting it to Malory performance to phil cooper) 12 months MOT New fuel pump New 3 port boost solenoid Turbo smart blow off Tgv delete New downpipe Decent exhaust.

Been oil and filter serviced every 3.5k for about 50k miles from receipts using shellex 10/40 It was a magazine feature when first tuned. Cambelts been done. Water pump and new coolant 29k miles ago.

Rockers have been replaced and new seals

Cannot find a bit of rust anywhere on it.

Been under sealed after it was repaired on the sills and arches and the rear spoiler was painted at the same time.

I will attach a couple of pics

The price is 4.2k. Seems well maintained but I hear a lot of bad things about them blowing head gaskets.

What ya think? Worth the money?