Grazie GunMan! Ho trovato il comando che funzionava:

codice:
mplayer -playlist indirizzohttp -dumpstream -dumpfile output.wmv
dove indirizzohttp è l'indirizzo che si può trovare così: visualizzare il codice sorgente della pagina web della rai contenente il video (in firefox, CTRL + U), cercare (CTRL + F) "videoURL" e copiare l'indirizzo subito dopo. (Di solito è http://mediapolis.rai.it/relinker/re...vlet.htm?cont= + una serie di caratteri).

Per sacarde:
non serve più trovare l'indirizzo mms! Comunque, se proprio ti serve, trova sempre indirzzohtml qui sopra, copialo nella barra degli indirizzi e vacci. Il video apparirà occupando tutto il browser. Fai File > Salva pagina con nome. Adesso apri il file salvato con un editor di testo (va benone gedit), e troverai l'indirizzo mms

Grazie ancora!