So, I've heard these are " a lot faster" than the 7200's, but its only like 3800 RPM faster, and how much of a difference does that make? like in games? is it a whole lot faster? where would a 10,000 rpm hdd's speed come into play compared to a 7200?