This is an HTTP stream and it can be copied from the cache of your web-browser. However I don't know how to play the saved file. I have problems identifying what kind of file format they use.