[deadmund]

I have figured out a solution. I used video download helper (the firefox add-on) to get the URL. Turns out the video was in hundreds of 5 second segments. I then looked at 2 or 3 of the URLs to determine the pattern (which was quite simple) and wrote a python script that called VLC to download each segment. Because they're mpeg video files I could cat them all together with no video processing. This was all on linux. Post here if you have questions about how I did this so you can do it too!