Mplayer worked great playing my divx files. I can't find a player for OS2008. Does anyone know if there will be a player with divx for OS2008 soon?