Word of warning, last year, I changed the oil in my BN1 gearbox, likely the first time it had been changed in decades. I simply drained the oil and put in Redline MTL without flushing or any other examination of the box, and within 10 miles the cluster gear's second gear (actually third as the BN1 gearbox has a blocked off first gear) was damaged to the point of requiring replacement of the cluster gear (not an easy find) and an unexpected large cash outlay. I am guessing there had been a lot of sludge in the box which was then freed with the new oil and something, maybe a bearing or synchro chunk, found it's way into the gears. It needed a rebuild already, but I would have save a huge chunk of change if I had it rebuilt before this damage.
(I don't blame the Redline, as there had to have been something solid to have done the damage)
-j