My PC cost less than £600 when it was brand new, he could get something similar to mine, and have some moneys to buy a v. nice screen on the side, or another GPU if he wants.

And mine overclocks quite nicely.