Bliss!
I found a Linux copy of Real Player 8 at
http://www.real.com . It's well hidden - as are all the freebie players. I tracked it down via the support page, which had a link to a download page. If you select Unix/Linux for Pentium, you'll get passed to a location that has the Real Players that are independently supported. A download and install of the RPM for Linux 2.x did the trick.
BBC TV comes up a treat now, as does DWTV (Deutsche Welle).
Only thing left out it how to make it run as a Mozilla plugin. The RealPlayer plugin install is for Netscape, and while there's some cases where Mozilla shares resources with Netscape, this doesn't appear to be one. Until I figure it out, I'll be content to run Real as an external player.