<div>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>Thanks for the tip about Realplayer - which does indeed play the sound.<br><br>What I really wanted was a means to transcode these things into something
<br>more web-friendly - anybody got any clues as to how to do that (short of<br>writing the code which I assume is an option as this most be an open<br>format)</blockquote>
<div> </div>
<div>I have found vlc to be the best media player under linux by far. vlc also has a streaming capability where you can stream in a different video/audio format of your choosing. I'm sure you could therefore use this to your advantage.
</div>
<div> </div>
<div>vlc - <font color="#008000" size="2"><a href="http://www.videolan.org/vlc/">www.videolan.org/<b>vlc</b>/</a> ( source available ;-) )</font></div></div>