a scrapyard box will cost you £100 or less. its quicker and easier to replace rather than repair.
where would you get a new synchromesh from? i tried to recon a box a few years ago and i couldnt get the spare parts. even gearbox recon buisnesses would not help me. they would only offer to do it for me (at a greater cost than a scrapyard box).