i've tried a couple of streams and they were HTTP .MP4 streams which can be recorded easily or copied from the cache of your browser:
FAQ: How to record/download/capture/save Adobe Flash .FLV / .MP4 video HTTP stream from embedded player