Use an SSD as your boot drive. WEI has mainly been debunked and is generally just for vanity, your HDD is probably fine but even if it runs at 7200rpm it is probably only going to score a 5.9.
I have not seen a WEI benchmark for a 10k drive (mainly because...who cares about WEI? lol
) but I imagine it is still not much higher.