Erstmal gehört da kein rotes Kühlmittel rein.
Wenn es rotviollet sein sollte (G12+/G12++ bzw. G30/G40) ist es aber okay und wird mit deinem Problem eher nichts zu tun haben.
Wenn es rot/rosa ist, dann ist es G12 und das hat in unseren Motoren nichts zu suchen und kann ggf. das Problem mindestens begünstigen.
Also, Richtiges Kühlmittel rein (G11/G48, also blau oder grün) und nochmal die WaPu tauschen.