Ich habe mich mal vor 20 Jahren auf so eine Aussage der Werkstatt verlassen und hatte dann ein paar tausend Kilometer später einen verzogenen Zylinderkopf und 18.500 DM Schaden (man hätte auch den Block tauschen müssen). Wurde ja schon alles gesagt, wenn es einen Wasserverlust gibt, dann sollte man zügig danach schauen.