How to convert Webex' WRF to any other video format?

Question

I've recorded a Webex WRF screencast and I'd like to convert it to WMV or AVI or something. The Webex Editor keeps saying it needs Windows Media Player 9.

Is there any other tool for converting WRF?

Answer 1

The official player from the WebEx site supports transcoding to WMV, SWF (and on my Win7 version, MP4; although the page does not list that). WebEx KB offers an article (http://kb.webex.com/WBX28158) on how to use the tool for transcoding, but I doubt one would need to read it.

There is also a WebEx Recording Editor, though I have no experience using it.