To me, the fact that it's 4200 rpm is actually a plus because it gives me longer battery life and runs cooler.
Unless you're transferring huge video files, you can hardly tell the difference between a 4200 HD and its 5400 or 7200 counterparts.