Vlc is the best media player. Mplayer usesTotem and it can be iffy, especially
if it uses Gstreamer instead of xine. Vlc has its own engine and it just seems
to work no matter the operating system.