I thought it would be fun to watch these when I had some downtime during a flight I'm taking next week. Two problems - they stream them and they are real one files. No idea why they make it so difficult.

Solution for .rm files -> VLC [1]

Solution for streaming -> tweak the url [2]

http://mfile.akamai.com/7870/rm/mitstorage.download.akamai.c...

to

http://ocw.mit.edu/ans7870/hs/godel_escher_bach/OCW_7.01.07_...

References

[1] http://www.videolan.org/vlc/

[2] http://all-streaming-media.com/streaming-media-faq/faq-downl...