If he doesn't mind going used or refurb then he would get much better deals...
I picked up a refurbished Asus G53SX from another supplier for £400 with 15.6 inch 120HZ screen, i7 2670qm, 8GB of RAM, 1TB HDD and a GTX 560M 128bit.
There are many more out there for similar prices