Please please please do NOT buy an alienware. They're extremely, extremely bad.
Look at Falcon NW or Origin.
Also tell him that he can spend $2k to get a "decent" gaming laptop and $1.2k to get a desktop that would be MORE powerful than his $7k laptop. That way he has the laptop he wants AND something that's actually good, for way less money.
I don't know too much about laptops or computers in general but did mention that Alienware does seem to get a lot of bad press. He said he was aware of this but said that for the build he put together, no other laptop could beat its benchmarks. I am not buying this for him so its ultimately his decision.