I'm sure the two i've got are 15k drives. They certainly were specced as such and I remember pushing for it as they are for iSCSI targets so speed was a priority.
Cant get anything from the server here but would be surprised if they aren't, and probably angry cos they should be 15k
