Just putting this on your radar (in case it isn't already), but the Alienware 13 r3 and 15 r3 both hit a pretty sweet spot for portable gaming.

Not saying one is better or another, just letting you know they are out there and that you should consider them too :)