Como tirar risco de caneta ta tampa do note ?

Meu afilhado riscou com uma caneta (BIC) a tampa do note dell da minha cunhada, a tampa é VERDE... e ja tentei tirar com ALCOOL e não saiu...

Alguem teria alguma dica para tirar a tinta ?... se não vo ter que trocar a tampa...
o note é um DELL Inspiron 1525 (tampa verde, parece emborrachado)


(o note estava sob minha responsabilidade quando o pqno fez a arte)