Rotkohl waschen?

Ich wasche immer alles gründlich. Das heisst, erst mit heissem Wasser, also so heiss wie aus dem Hahn kommt und dann sofort mit eiskaltem Wasser nochmal drüber. Das ist aber meine ganz eigene Macke. Aussenblätter schmeisse ich weg. Also ich würde den Rotkohl definitiv waschen.