Das ist dann okay. Ich hätte zwar weniger gemacht, aber okay.
Wie gesagt halte ich die Wasserpumpe für überflüssig zu tauschen. Das sind ca 40€ incl Kühlflüssigkeit, die Arbeit gar nicht gerechnet. Allerdings gehen die Meinungen dazu auseinander. Mein ABU, das ist der große Bruder von deinem Motor hat 217000km und erste Pumpe.