When was the last time the gearbox had fresh oil?
Looks like used a 5 spd box if/when required (I've never had any issues with the 5spd, but I dont beat them either), throwing in a whole gearbox is a lot easier than ripping one apart to replace things, or spend a healthy chunk of $ on a 6spd STi swap
I suspect your wallet has the answer you seek
Edit: That 6th gear is no use in a daily driver, is cool etc. but 100Kph in 6th isn't a happy place for your car, and doesn't realize any fuel savings. Pushing the boat out at track day is the only place it will get used, legally anyway