МЕДВЕЖ, Андрей, немного пойду вразрез с общим мнением
, но я бы посоветовал поменять!
Пробег уже не малый. Сама помпа стоит недорого (относительно), а заменить ее вместе с ремнем ГРМ это вообще не проблема.
Но вот если она потечет сразу после замены ремней?...