Seeing how you are saying the guy barely works and the budget is sort of unknown... Why not aim for some a bit cheaper parts, specially considering no oc.
I would go with an i5 750 instead of the i7 860 or a Phenom II X4 955.
I would also go for an HD4890 instead of a 5770. Sure it doesn't support DX11, but I have my doubt that the 5770 will give such amazing DX11 performance and with other games, the 4890 is ahead of the 5770 by a fair margin when it counts.
If he doesn't want to overclock, getting a very good aftermarket cooler is not necessary.
I am sorry, but seeing the situation, I would try to aim more for something that is really cost efficient.
__________________  |