I think I can just replace it with a brass pinion part (simple and crude), and the good news is that it happens to be available on steppermotor.