Thanks PollyP,
I hadn't noticed any slackness in 5th but can check when I get the car back this weekend, do you think it's worth draining the gearbox oil as well to check for any damage?
If it's just the linkage then can live with that for now, but really need to know if gearbox has had it...