do you have to change the gear box oil at all at any time???? If so when should this be done. It's just that my car is in for a check over tomorrow before warranty runs out,and i'm going to get a few bits done whilst it's there.ie: oil and filter..... I'm on 79000 at the moment, Audi S4. Thanks in advance.