do you think it's actually stripped the gear itself or just damaged the selector forks or hub? Prob best to get it rebuilt and fixed if possible, you can quite often just use parts from another 085 box to fix it and G40 boxes are very hard to find in decent condition now. A GT gearbox could be used for it's 2nd gear if you need one or there might be other 085s with the same gear in too.