Probably.
Have you tried tightening up the Torx screws? If the problem is simply that they've worked loose over time, it may help. Otherwise you may need to drain the gearbox oil, replace the gasket, then refill the gearbox with new oil via the gear selector housing.
Changing the gearbox oil is a good thing to do since the probability is that it hasn't been done before.