Perso, j´utilise GPDivx (gratuit) en attendant de pouvoir mettre la main sur le lecteur officiel (payant).
J´ai recompresser quelques fichiers pour trouver les bons reglages pour la console, et finalement le resultat est pas trop mal (sauf pour le son, mais jpense que le lecteur officiel sera plus performant de ce coté là) et ya moyen de faire rentrer un film sur un SMC de 128Mo.
Sinon, je ne connais pas d´autre lecteur que ces 2 là, et jpourrais vraiment pas te dire pour la sortie en angleterre (moi j´ai la mienne, c´est plus le genre de questions que je me pose : ))