I'm not sure what font this might have been - and I'm surprised no one has told you it's "fuzzy" - but if you need a quick substitute, take a look at Matrix. It is not the font - just the same feeling.