If you decide to use a ks0108 based glcd, you could also use the glcd library.
While it does not come with the font you are wanting, it
will allow you to create your own custom fonts from any of the fonts installed on your system.
(You use the JAVA based GLCDFontCreator2 tool)
The library also supports many graphical functions like drawing lines, circles, bitmaps etc...
It does require using quite a bit of pins though.. It takes 13 pins to run it.
Here is a link to the ks0108 glcd library play ground page.http://www.arduino.cc/playground/Code/GLCDks0108
And here is a link to the google code page where the latest source with downloadable
images can be found. You will want glcd v3 RC3http://code.google.com/p/glcd-arduino/
You can look at the ks0108 playground page
as well as download the package and review the documentation, to see if that is the way you want to go.
The HTML documentation for the library will be in glcd/doc/GLCDref.htm inside the zip image.
The nice thing about getting a ks0108 display is that you could use either the glcd library or