that was what i was trying to say.. been two years since i left my graphic design course. have a crap memory some timesno by the sounds of it hes after a dry embossing press .
it pops weight on one side of the papper so the letters stand out on the over side .
mate try your local arts shop ( QVC ) they mights sell the pens you use for it . if not hunt down a old school printers they will have one .