Читал где-то на форумах, что официалы при замене ремня ГРМ оценивают состояние помпы и на месте принимают решение о замене. Я думаю, если нет потёков и биения в подшипниках помпы, то можно рискнуть и не менять. Но, опять же, где гарантия, что после 10тыс. пробега не потечёт? Или на следующий день после ремонта?