Servus, I’m driving a Seat Ibiza 6J 85ps with gears. I had a gearbox damaged, which is why a overhauled gearbox was installed. The workshop meant that after 1000km you should make a gear oil change again… Can’t imagine why? Is that really so? Thank you