Good question. I know that you can use any font that is on your computer when you create a theme with Plazmic Theme Builder.
My earlier research suggesed DejaVu Sans is the closest font to that used in the AT&T theme that is on the Bold. You can download it for free at http://dejavu-fonts.org/wiki/index.php?title=Download