Bei Erstbefüllung ist das durchaus üblich bei so großen Motoren, bei den 6.0 Powerstroke ist auch so viel drin. Beim Wechsel kriegst du nicht alles raus.
Wenn du das Kühlmittel erneuerst, spüle gründlich entgegen der Flußrichtung, Wärmetauscher nicht vergessen.