Also: Der Ladeluftkühler ist okay, aber die Zumesseinheiten an der Hochdruckpumpe müssen gewechselt werden.
Kostenveranschlagung: 1300 Euro (viel Arbeitszeit). Wäre die Pumpe insgesamt defekt, wären 3000 bis 4000 Euro fällig. Das wäre schon fast der Händlereinkaufspreis des ganzen Autos.
So allmählich (eigentlich schon sehr rasch) mehren sich Wechselgedanken...

N.K.