Big deal about minor noise. I have 5 fans running on my computer, a little bit of HD noise wouldn't be a problem. Plus I usually have the volumn turned up to the music I'm playing or the game I play.
I don't see the big deal of a 10,000 RPM over a 7500 RPM hard drive. It offers some performance but nothing noticeable aby you the user.