Actualizamos info. Finalmente hubo que poner bomba nueva (sólo el cuerpo de bomba, no hay necesidad de cambiar todo el conjunto de aforador que es mucho más caro), con el resultado de que el motor ha mejorado bastante su funcionamiento -especialmente por encima de 4.000 rpm- pero... sigue arrancando igual: mal.
El resultado depende del tiempo que haya pasado desde la última parada. Si son varias horas, y mejor toda la noche, arranca al instante (como debe ser). Pero si es menos de hora y media o así, ya no va fino: hay que darle varios segundos a la llave, y termina arrancando a regañadientes, no muy redondo al principio, y al poco ya se normaliza y va todo bien. No parece algo grave pero supone un sobreesfuerzo para la batería y sobre todo para el motor de arranque, que va a acortar su vida útil notablemente.
Seguiremos investigando e informando.