Does anyone have any thoughts on the pros/cons on a 7200 RPM drive over a 5400 drive? I'm looking to purchase a MBP 15" in the next couple of days. Thanks!