On the subject of media players, Faisal Jawdat writes

The best player I've seen in terms of range of formats is mplayer. On the downside, the GUI doesn't really work, which means you have to use it from the command line and navigation takes the form of random keystrokes.

http://sourceforge.net/projects/mplayerosx/