I don't think seat give a specific gear oil change interval, it's a lifetime oil meaning it never needs to be changed but I personally think it's better to change every 40k. For the sake of about £30 you might aswel
That's the stuff! If any of you decide to use it let me know if it cures the fault please.