I have tried Replay Media Catcher and it has downloaded this RTMP stream without any problem. You can also use many other RTMP Flash stream recorders including freeware CooJah, StreamTransport and Orbit Downloader.