Mixing RPMs should not be a problem, since current RAID hardware does not,
AFAIK, use spindle-sync.
I'd guess that performance would show 10K < mix < 15K, but it depends on
other HD params (and the workload and the phases of the moon, etc.) as
well as RPM.