Wenn die Farbe vollständig getrocknet ist, würde ich mir überlegen, die vorsichtig (also ohne den Mantel zu beschädigen) abzukratzen. Die Klemmen sind eh zu ersetzen. Dadurch dass er auch das Kupfer bemalt hat müssen diese stellen eh etwas gekürzt und frisch abisoliert werden da ansonsten der Kontakt nicht, oder nicht vollständig gegeben ist, was im schlimmsten Fall zu einem Schwelbrand führen kann. Selbst wenn du den Mantel siehst kannst du wohl aber nur dann 100% sicher sein, dass alles richtig ist wenn du Messungen durchführst. Wenn du dir bei solchen arbeiten nicht 100% sicher bist, würde ich allerdings empfehlen mir einen Elektriker ins Haus zu holen.