You may find rtmp:// URLs with freeware URL Snopper. And you may find RTMP mp3 and flv URLs (and record from them) with Replay Media Catcher. As for WMRecorder, it can find HTTP .flv video stream URLs only, it doesn't support RTMP protocol.

It could be a proprietory player, but I can't check it for you out 'coz I don't understand the language.