Tempo fader length on pioneer dj xdj-rx3?

Typically this info is listed in specs but I can't find anything online. Is the tempo fader a 100mm or ?