2 ms·

Don't forget that server-grade drives are often 15K RPM, giving you ~2x over a typical 7200RPM drive.