You can spend as much as you want on whichever model you want.

Best thing is get the budget in place then pick the model he likes the best.

So for example say he has 7k to spend. That might get one of Tom's JZX100's, or a higher spec X90 or a fairly serious spec X81 if you can get one....