Grazie ad entrambi.

1. (wx)VLC sembra funzionare, grazie!
2. Che codec devo installare per mplayer? (non trovo nulla di significativo ed inoltre mi si impalla coi normali MPG e non risponde nemmeno al kill da root, strano...)

Ma perchè totem su Xine o su Gstreamer non riproducono i WMV9? Sbaglio io qualcosa?