cambio de aceite

El taller me hecho aceite gulf 10w40 , cuanto km lo cambiariais? con el 5w40 cambiaba a los 20.000-25.000, estaria bien unos 15.000?.Se me ha pasado comentar que la "nena" tiene ya 200.546 km y solo fallo la bomba di la direccion al mes de acabar la garantia,nada mas.