Guys, Antec is not anywhere near the as good as they used to be...
(They are still good, just not as good)
Why do you think Antec is near the bottom of the reccomendation list?
There are many better power supplies he can get. namely of the Brands Corsair, Seasonic and PC Power and Cooling. And for such a high end/budget build I would stick to this List.
PC power and Cooling
Etasis
Zippy
Corsair
Seasonic
OCZ
I also want to add that, yea, he doesn't need anywhere near 1 Kilowatt PSU. The corsair 620HX would do Nicely..