I think you're probably OK. We changed gearbox oil in one car at over 200k, and we could tell it had never been changed. The oil actually appeared passable when we looked at it. Still going strong.