Såg att någon frågade efter detta i lyskom:

Dessa siter går att använda för att hitta fonter.

http://www.identifont.com

http://www.myfonts.com/WhatTheFont/

Kanske du har tur. Tror dock inte att den finns som ett typsnitt idag.

PS postar svaret här, sitter på MacOS nu utan ssh klient.. DS.