I recommend the VAIO SR, but in my point of view the VAIO E is better. Furthermore, it is best if you wait until March for the Lenovo y460 which can play crysis at around 30 fps at 850 dollars, as well as being decent looking. With the VAIO E you should get around 25 fps at medium settings, as well as the laptop being BEAUTIFUL and thin.
The Dell Studio 15 can also play games well for the price, but VAIOs are a better deal.
Furthermore, isn't $900 a little shabby for CRYSIS WARHEAD? oh well, im not the consumer