Update.
Yesterday & today I replaced the gearbox with a second hand one sourced from a local wrecker. They couldn't tell me how many K's it has travelled but I assume it would have been a lot as the linkage on it was completely forked. The gear stick would've been so sloppy.
So far all is well with the new box. No grinds and feels it ok.
I hope it's up to the task because I'm sick of changing gearboxes in my driveway. It's so shit.
The oil from the original box had a lot of silvery goodness. There was a fair bit of metal on the drain plug magnet. Fine smooth metal.
Not the best photo, sorry.
Now I wonder if it's worth getting the old box pulled apart and inspected.
There seems as if there was some serious metal grindage going on. It's funny because the old box felt tight as. I'm curious to see where it all came from.