2.47low transmissions are sorta rare.
Chipped and rounded clutch teeth are easy to repair, been doing it since the late 70s. Back-cutting the damaged ones to prevent jumping out , is just as easy. If that is all your input suffers from, if I had it in my shop, it would take maybe 15 minutes to repair, and that is all free-hand work.
I wish you good luck.
BTW
that is Fourth gear. It's pretty rare to have ONLY Fourth gear damaged like that. Usually Second is the one that gets a chit-kicking.
That's good of you to do that 15 minute hand work for free....