Is there actually a permanent fix for the M32 'box? From what I've read it's insufficient lubrication to the bearing. Mine's only done 36k miles, even if they do repair it, it'll need doing again in a few years time. The clutch lasts longer than the gearbox!
Its crap bearings, not the lubrication. Replacements are improved and uprated I believe.