I'm in the UK and am considering getting the W3J. However, it comes with a 4200RPM hard drive (I think it's the Hitachi Travelstar) and I keep reading on these forums that this speed is just too slow. I was under the impression I...