If he goes forward with that transmission I would suggested he have it resealed and maybe while its out replace the gear selector spring its the case on back of the transmission comes apart it's easier to do it on a bench instead of getting the bike trucked home
Just a suggestion
TOMB