I don't think I can spend much more than $700 which makes the m11x r1 really my only option because everything else seems to be $999 and above (unless someone knows a way to get them cheaper.) Portability isn't that important to me, but I want to do some gaming. Is the r1 a reasonable option...