Measuring mechanical rotational speed in different ways?

We usually spin the gearbox at 4000 RPM, but it gets as high as 10000 on small-load production runs.