Just my 2p's worth, I had the repair job done a couple of weeks ago as mentioned by @
LukeJ, and it seems to have cured my problem (although as @
MartinR has said maybe it will return after a month or two).
So far from my experience it's worked a treat (not a drop of oil under the car) and has made the gear change actually feel a little more precise as it's stiffened up just a tad, so it was worth doing just for that if nothing else.
As has been said on different threads on this, mileage may vary, but I had mine done at TwoTechs in Dartford and they said that they'd never heard any bad things about their own repair jobs. If they personally thought it was a waste of time they would have told me, as they've been great for similar things in the past, even if it meant them losing out on some extra labour.
Hope that helps, and cheers Luke for the tag!