Gearbox man will know for definate, but i've never heard of this problem, 5th gear must be fairly easy to replace as there replaced when you go for a big tooth box