yer I doubt the figures especially with bd10's. I bet the torque has been lost too.
The t34 .63 is a nice turbo and can make 400-420. But thats at high 30's psi and they dont last long. I expect if it was put on rollers it would be around 380.

4 paddle clutch is a no no, they are shit don't last long and horrible to drive.
Everything else seems spot on, long studded 200 block etc.
I dont think its overpriced too much, It's got big ap brakes on dont forget !

If the paints good and theres no rust then i think its worth £9k . Remember saphs are crazy money at 7k-8k. It's not a bad car just a few things id have to change.