The £699 gearbox was the first one I saw and my heart jumped when I saw it, but sadly, it's the wrong type. Also, it's from a car older than mine, so I'd be worried about it's longevity.
I'm going to ring around and see if there's anywhere that has one off the shelf. I've not called Mackies back yet... I'm almost afraid to hear answers to my questions because if the fluid doesn't fix it, I'm really up against it.