Those 10k RPM models are usually not much faster than others but consume way more power and make alot of noise. Also pretty useless are those hybrid drives that are a mix of SSD and HDD. Just buy a fast SSD(Agility III or Intel 510 are pretty fast) or a normal small HDD(<500GB).
