I would advise getting a price for a gearbox oil change, when the flywheel went on mine obviously the box oil was replaced when it was all put back together and I was staggered by the difference and this was on a car that had only covered 43K !

Some of the boxes are apparantly "sealed for life" but when it was cold mine sometimes needed a push to get into first gear on a morning. Since the oil change its as smooth as silk.