Hi John,
I would think that gear has hardened teeth given it is part of the main drive. I would always be wary that a repair failure might destroy more of the drive.
Make sure your friend also checks the meshing gear for damage and the shaft for any twist/bend.
Anytine you put “marine” or “boat” in front of anything the price seems to magically double .....