Out of interest how many times has the gear box oil been changed ?
Got a 6 spd myself on 148,000KM's so one more thing to get paranoid on
Have read that you can get rebuild kits for these, but someone with more knowledge than myself will hopefully chip in.