My dad wanted to have the oil in the gearbox changed as he’s approaching 45k miles and the service adviser advised against it. Is there any reason why they would advise against it? I find this strange as BMW advises changing the oil in the gearbox in my M3 every 45k miles.