He needs to scroll down. There are options under Publish & Share/Computer for FLV, MPEG, AVI, MOV and Still Image.
Thank you for helping that user.
Because of the GUI, the scroll bar that Steve mentions, is not all THAT easy to see. I have missed it, and know that it is there. We have even had a few users, who swore that there was no scroll bar, only to come back with a sheepish grin.
Good luck, and again, thanks for helping. See ya in the PS Forum.