Does the sager machines only have a 4200 RPM drive when the 5400 drive is so much faster and relatively inexpensive. I'm a Dell user looking to make the move over to either Sager, Area 51 by Alienware, or the Toshiba 16" P4...