Der Edelstahlschwamm verkratzt die Carbon-Oberfläche nicht, höchstens geht es in Richtung Polieren. Die Styrodur-Reste sollten damit gut weggehen.
Ein Stück Papier poliert in Aluminium-Campinggeschirr definitiv mehr weg, als der Edelstahlschwamm vom Pfeil.
Aber Achtung: keinesfalls einen Glitzi-Schwamm verwenden, denn da sind oft Korund-Partikel eingearbeitet, die deutlich härter sind und das Carbon wirklich beschädigen.