I think I've found the answer to my own question here anyway. I just checked out
www.bbcworld.com. They have Realplayer on there too of course but its subscription only. So there no doubt using Realplayer still on
www.bbc.co.uk because of the subscription only bussiness on that website