Hi Bob,
If you have a pulse width meter, then 10,000 RPM is right about 1380 microseconds.
If you don't, then ... Sorry, I've got nuttin' fer ye!
Vexa RC make a nice one, and Radio South (say hello to Tony for me) makes a less expensive and perfectly good one.
Hunt inherited mine!
Let us know what you end up with!
Dean