Die Pumpe kostet glaube 30€ im Austausch! Wie schon gesagt läuft die Pumpe mit über den Zahnriemen..machst du jetzt nen neuen Riemen+Spannrollen drauf hat dieser logischerweise eine andere Spannung (wenn auch nur minimal) als vorher, bei der die Pumpe sich "eingelaufen" hat - dadurch kann es passieren das sie schon nach kurzer Zeit undicht wird (Hebelwirkung) und dann fängst an wieder alles raus zu reißen. Das ist dann in etwa so als ob du den Riemen nochmal wechseln würdest, denn es muß wieder alles runter um da ran zu kommen! Also gleich mit machen, denn da kostet es nur Material

Meistens ist die Pumpe beim Zahnriemenwechsel eh schon minimal undicht (zumindest sind das meine Erfahrungen bei 3 Wechseln).