Ah yes.
This is the max speed if you have the single speed (typically 3 phase) motors. There is a belt to select three different speeds.
However, if you have the variable speed option, the speed can be increased above 15000 rpm to around 20000+.
I've never found this to be an issue in practice.