I've worked on a Dell XPS M1710, and it was a nice machine, but certainly not worth the price, and compared to the G7x series Asus, it was a MONSTER. Very thick, very heavy, and it ran really hot.
I still vote G72 or G73. Put an alienware sticker on it if he's that attached to the branding.