replacing the syncros is a gearbox out job, break open the box and inspect the insides. More damage could be found on the other syncros upon inspection.
full replacement gearbox is obviously another gearbox out job but the risk is that the replacement gearbox will have syncro problems later on.
There is no real cost effective way of a fix as both options require gearbox out with similar labour costs involved.