It should be ok to drive for now unless you are planning massive mileages. Just get the gearbox oil and filter changed first and see what happens. If the problem still persists then I'd have a mechanic look at it again as it's pretty much impossible to diagnose over the internet!