When saving a movie to playback, what format is best for the X? mp4? AVI?
Out of the box it can play MP4's. You can also use RockPlayer (available in the Market) if you want to play AVI files.
Will RockPlayer allow for HDMI out? (Which I oddly use a lot)
or should I (not so) simply convert everything to MP4 so I can view it through the stock player - which will work with the HDMI out port?