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

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 way to convert WRF?