Exacto, existe como un rotulador para esas cosas.
No es nada caro y me imagino que lo venderán en los auto recambios...

Un saludo