Naja... du schriebst, die Pumpe sei nicht die Ursache gewesen...
Dass da was im Filter hängen geblieben ist, ist sehr wahrscheinlich und deswegen ist ein Filterwechsel das Naheliegenste. Die Ursache dürfte aber sehr wohl bei der Pumpe liegen, denn wenn von ihr Späne kommen, kann das nur zu mangelndem Druck führen - nicht nur weil der Filter zugemüllt wird.

Zündung instand halten klingt okay, ob nötig oder vorsorglich weisst du vor Ort besser. Hast du die Teile? Du kennst die Geschichte mit dem "offiziell nicht erhältlichen Verteilerläufer"?