I started wondering if I could do the same thing I set up for 94.9 with SD's local PBS station, KPBS. Unbelievably, they also use Windows Media. WTF is wrong with the world? You'd think that PBS would give them MP3 streaming ability, not like they care about DRM (Public Broadcasting?) Anyway, here is the same command for KPBS:
alias kpbs="mplayer http://media01.kpbs.org/kpbs-fm"
Enjoy!