Still not thrilled with using a proprietary media format, but first things first. I got it to work. With wifi no less. (And you get to see what my desktop looks like.)
Now, how did I do it? Not entirely sure.
I am using VLC -- the Swiss Army knife of media players; available for all the operating systems people really use -- with the vcl-mozilla-plugin in place of my otherwise fave MPlayer (wth mozilla-plugin for the Firefox browser). There's a codec (media decoder) plugin I got somewhere, but where? I'll note it below when I find it.
Back to Fort Lauderdale. Oh, and while I've never liked that chalice, I do like the vortex. More vortex!