Ever had a deja-moo? The feeling, you've seen this b*llsh*t before? Don't worry, you haven't gone a bit soft in the old headroom, but here we are, doing exactly the same job once more as the #3 selector fork was slightly bent.
Using the right chemicals cleaning the gasket goo off was a matter of simply wiping it off.
Gearbox back in.
Using a different selector drum and forks.
Not even remotely as much liquid gasket required as you'd think.
... and back together.
All in all about one hour of work and an hour well spent as now the gearbox is as smooth as I like it to be.