Buying and fixing an international 4700 with transmission problems

Link to my dads video https://youtu.be/53hsfNbsQkA

In my video, I buy an international 4700 dump truck with transmission problems. I diagnose and fix the truck by pulling the 5 speed spicer es42-5d transmission, replacing all clutch components and then realize there is teeth missing on the counter-shaft drive gear. So I tear down the transmission and replace the gear, some bearings and seals.