http://developer.valvesoftware.com/wiki/Prt
http://developer.valvesoftware.com/wiki/Vmx
Do your research, man.
but 5400RPM is/was an extremely common hard drive speed
in the last, say, 5 yearswas is the keyword here. I'm talking about new HDDs, obviously.