just a service. Had no idea when it was last done / ever done by previous owners. Got all the oils cheap too.
The GB oil change though has made a difference, although the gb never crunched etc, i did it for the same reason as the diff (wasn't sure when it was last done) The gearbox was getting a bit "whiny" in the first 5mins of driving in the morning - the whining noise is somewhat gone but can still hear it slightly however i noticed the car wasnt as jerky when i was getting on/off the gas. Also the gears just felt more "solid".