I didn’t notice any symptoms of wear when driving prior to tear down either. But I bet if I put it back together unchanged and was looking for it then, I would.
You can slide the gear to the unworn area of the shaft and feel how much wear there is in the gear alone, then slide it into place and feel the combined wear. With a new shaft and gear there is zero play. Once there is play between the two, the wear accelerates exponentially since it now has clearance to hammer together on every engagement.
Of course it took decades to get the wear that is there so it won’t fall apart overnight either.
I don’t believe there is a tolerance called out in the FSM. It’s your call.