I just wanted to bump to say that the files to support inbuilt media player are released. Much recommend over mplayer as there is a gui, easy playlists, pause and resume support.

Same link as mplayer version.