Benzin statt Diesel getankt: Fragen

HDI 2,0 mit 285.000 km: eine Bekannte hat Benzin vollgetankt und ist ca. 25 km gefahren. Das Auto lief bis dahin, aber machte "komische Geräusche". Nach dem Abstellen bemerkte ich am Tankbeleg, dass Benzin getankt wurde. Ein befreundeter Mechaniker machte alle Leitungen leer und versuchte zu starten. Ging aber nicht ->Citroen-Werkstatt. Die haben den Raildruck gemessen - nichts vorhanden. Habe jetzt eine gebrauchte HD-Pumpe bestellt. Muss ich noch irgendwas anderes beachten eurer Erfahrung nach? Lt. Citroen könnten Späne in die Einspritzleitungen geraten sein....ist das wirklich realistisch, wenn der Motor nur 25 km mit Benzin gelaufen ist?

Freue mich über eure Antworten! Danke schon mal!