I personally would not buy a 10k rpm hdd at this moment in time, most i have seen are around 30-50G in size... (probably more in other countries) and they cost as much as a 200G 7200 rpm hdd.
With WD i just brought my first one about a week ago and had my first XP blue screen and my first mbr failure

not a good first impression.
I got it working now though no biggie i guess.
Back on topic yeah id probably wait a few months - to 6 months get a nice 100G 10k hdd. *drools*