Deciding on which Laptop to get!

At the moment, I am contemplating on whether I should get HP or Dell as a laptop. Also, I am mainly getting this laptop for casual gaming - not hardcore like Crisis 3, Far Cry 3, etc.

My budget: $900.00

Here is a laptop I saw / customized and thought it'd be really good for me:

HP ENVY dv7t-7200 [customized]

Operating system: Windows 8 64

Processor: 2nd generation Intel(R) Core(TM) i5-2450M Processor (2.5 GHz with Turbo Boost up to 3.1 GHz)

Graphics card: NVIDIA(R) GeForce(R) GT 630M Graphics with 2GB of dedicated video memory

Memory: 8GB DDR3 System Memory (2 Dimm)

Hard drive: 750GB 5400RPM Hard Drive

Hard Drive Acceleration Cache NO mSSD Hard Drive Acceleration Cache

Primary battery: 6 Cell Lithium Ion Battery

Display: 17.3-inch diagonal HD BrightView LED-backlit Display (1600 x 900)

How is it? Thank you. Recommend me another one if there are any other good ones under my budget of $900!