And the font is available for free from: http://www.fontsforflash.com/ it's the Atlantis Trial font in the freebies section.

=======================================
(edit) .. ahh - I went back and read some more and understand the issue is with the pixel fonts themselves. Well, I have another suggestion then. I've recently been playing around with font settings, and I found a really really good small legible font setting is Lithos Pro. Check out the image below and see if this might work for you. Also, I've added a size=3, Opacity=9, Blend=Normal, Color=Black outer glow to the font.
