Hmm. WMV codec in media player's a pain.

It's possible to change the MIME associations to launch mplayer, but I don't think anyone's done so since we went from Opera to MicroB...if I find anything, I'll post it here.

Greasemonkey can't launch MPlayer directly due to security restrictions, but it could add a link for "copy to clipboard" after each link on that site, or something like that.