Thanks for the tip. Sadly, as is so often the case, I missed it! If a bargain 'box turns up it'll make a handy re-build project in the hope I can keep some oil in it. Failing that, I'll keep topping mine up until winter and have a go then.
If anyone is fed-up tripping over that M20 gearbox and sending it to a new home for a small amount of cash seems like a good idea, I'm all ears...