Upgrading/installing a motor with more RPM than what you're used to... you'll generally drop down on the pinion tooth count. Just like all the 2wd/4wd Senton
short course truck platform possibilities/variables, gearing will depend on driving style, motor, track, battery, length of time being ran, etc., etc. After finding out the manual has no gearing recommendations, I'd be looking at the brushless model to see what comes stock and use that as a starting point if I had no help. Infrared thermometer should be in your arsenal especially for situations like yours. Also, pluggin' in the numbers on a speed calculator with stock gearing and then pluggin' in numbers of new setup... you can compare approximately what to expect speed wise.
You'll end up with drawer full of different tooth count pinion gears in no time. Experiment. Have fun. You may find a trigger finger likes a taller gearing while navigating chicanes and such obstacles better... it's about feel.