El problema es que ese codec es pura y totalmente comercial. Está pensado exclusivamente para diseñadores de juegos de DS, que compren una licencia de dicho codec para crear los videos del juego y tal. Por otros foros de DS leí algo así como que una única licencia del codec costaba más de 5.000$. Como no se filtre una copia del programa, dudo que veamos el codec pululando por ahí "pa tó cristo".