not atall mate 350hp is still punchy enough and really reliable at that aswell. Either that or get him to increase his budget to 10k and he may find a 400+ one.
Best to get him to drive an r32 lots of people prefer them and you will pick 400+ bhp one up for 8k.
Good luck with the hunt.