Jag hittar bara en väldigt gammal tråd om det, och de produkter det länkas till finns inte kvar.
Om man googlar på gravyrpenna finns det ju i många olika prisklasser.
Det finns såna som har en hiskelig massa stift, men behöver man så många olika?

Undrar nu om det fortfarande är Clas Ohlson som gäller och vilken av pennorna i så fall?
I den gamla tråden står det att diamanten kan slipas bort, kan man ersätta det på något sätt? Kan man köpa extrastift närde gamla nötts ut?