Sim, você pode extrair o URL do código-fonte HTML e usar o mplayer:
$ mplayer -ao pulse mms://proedvid.stanford.edu/videocontent/knuth/musings/981203/981203-knuth-500.wmv
A reprodução (áudio / vídeo) funciona bem em um sistema Ubuntu 11.04.
Você pode automatizar isso um pouco, por exemplo via:
$ curl -s -S 'http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=40ac3a89-a6a2-439f-8f74-64d250a12818&o=true' | \
grep mms | sed 's/.*\(mms:\/\/[^"]\+\)".*//'
mms://proedvid.stanford.edu/videocontent/knuth/musings/981203/981203-knuth-500.wmv