If you're still shopping around, both Asus and Gateway have a selection of solid gaming laptops on the cheap-ish scale. The two mentioned above is about as good as you can get at around $1k. Truth be told, I've seen more Asus gaming laptops being used by the College crowd around here for because of how attractive its price point is, in relation to the specs you're getting.
You could wait and see for those Black Friday deals on gaming-ish laptops. If price is close to no problem, then I could suggest Falcon Northwest, or the higher-end Alienwares.
Don't mind doing some online shopping?
CyberPower has been the lord of cheap gaming PCs and Laptops, and for a cool $1500, you could get a laptop touting the new Intel i7 processors.
EDIT/WARNING: CyberPower is a good brand for the price, imho, but you should be warned that there is a lot of complaints on the quality of the customer service department of the company. Now, I heard about that a year or two ago and I don't really know how true that is today But for the price, they got to cut a corner or two somewhere.
ANOTHER EDIT: Gawd, how can I forget
iBUYPOWER? Another company known for their crappy looking, but solid and cheaply priced laptops. Some of their computers may be ugly as sin, but its another company the lowballs the price while shooting for the most impressive performance for the price.