..., da hat man Dir recht geraten. Mit agressiven und ätzenden Flüssigkeiten bzw. Mitteln oder Lösungsmitteln solltest Du bzw. Dein Freund da vorsichtig sein. Wobei es auch unterschiedlich strapazierfähiges PVC gibt und grundsätzlich agressive, ätzende Mittel jedem Boden zusetzen können!

Wenn Dein Freund da aber schon einiges ausprobiert hat, ist es unwahrscheinlich, dass es noch einfach so weggeht. Vielleicht ist die Kugelschreibertinte durch das ganze rubbeln auch schon gut in das PVC einmassiert, da geht dann wirklich nicht mehr viel und z.B. Bleiche wird alles aufhellen.
Berichte dochbitte bei Gelegenheit, ob es weggegangen ist und was geholfen hat!