I'm fairly confident I can actually fix his old gearbox. As its stuck in third we will have to drive the selector out which will damage it (workshop manual actually tells you to do that if you can't get neutral) but I have a set of selector forks from this gearbox that are fine so we can use them.
Hopefully its the selector forks at fault anyway so it might be an easy fix.