If its a conventional 5 speed gearbox, 5th gear can be accessed without removing the box by removing the end plate. No gearbox repairs are cheap unless you can do it yourself but if 5th can be repaired in situ it will be a lot cheaper than having to take it out.