As recommended by the "Guru's" post from above, you should read all the different guides and workarounds available in this forum, and try all the available "potential" solutions.
Anyway, that particular RTMP stream you are talking about, is quite easy to download, and even without buy anything: use
StreamTransport.
I'm sure there are many other free and paid programs able to download this stream, but I just tested the said one, and it works ok.
