Die Pumpe läuft aber erst, wenn sich der Anlasser dreht, nicht schon bei Zündung ein.
Insoweit hat er nicht ganz unrecht mit seiner Vermutung.

In diesem Sinne Gruß Bernd