I've never heard of a 10K laptop drive. Who makes them?
You're right. The fastest I've found are 7200. Another problem is my reading comprehension for the original post wasn't as good as one would hope, in that I totally missed the part about it being a laptop the poster was referring to. My comments were really aimed at desktops, since most laptops I've seen don't have space for 2 drives.