Wie bekommt man Tintenkiller blau aus dem Leder

Haus & Garten Handwerk allgemein
1

Unserem Sohn ist sein Tintenkiller ausgelaufen und ist nun auf unserem Ledersofa.

Wie kann mann diesen entfernen, ohne das Leder (die Farbe) zu beschädigenß

2

Lederradierer, Petrolether, Feuerzeugbenzin (aber vorher austesten)
ohne anrede und gruss!