Alternative zum Frixionstift ?

In der Klasse, in der der Große jetzt ist dürfen die Frixionstifte benutzt werden. Grund dafür ist, dass vorher die Tintenkiller erlaubt waren und viele Kinder die Blätter "durchgekillert" haben als sie mit Tinte schrieben. Die Tintenkiller sollen wohl aber nicht mehr benutzt werden (hat mir eine Mutter erzählt, deren Kind die gleiche Klasse besucht)

Nun kann Sohnemann mit den Frixions ja überhaupt nicht- ihm fehlen da die Griffmulden, was eine falsche Schreibhaltung zur Folge hat. Ausserdem habe ich schon öfter gelesen, dass die Farbe bei Wärme verschwindet, find ich an den Stiften jetzt auch nicht wirklich gut.

Sohnemann möchte mit dem Tintenroller weiterschreiben, aber Tintenkiller sind ja nicht erlaubt.....welche Alternativen gibts zu den Frixionstiften ?