Ist korrekt. Meist ist das Abrieb und Dreck der letzten Jahre, der fest geworden ist. Mit Iso kannst Du den ggf. lösen und dann abwischen.
Am allerbesten ist immer das Modul zu öffnen und dann, wie CapFuture1975 bereits sagte mit einem Radiergummi die Kontakte reinigen. Ich habe über die Jahre das NevrDull benutzt. Geht bestens, da es eine Polierwatte ist, die nicht zu stark schleift. Da nimmste wirklich nur den Dreck runter und die Kontakte sind wie neu!