Ken,

Sorry not to have a definitive answer but I suspect that a machine shop
supplier would sell pinion (?) gears. Can you press off the stripped gear?

Dave M.