@Gambit1313:

did try to take a look at the page's source code to see if there as a directly accessible link the .MP4 file I wanted.

You want a program that uses RTMPDump. There's a list here:

http://rtmpdump.mplayerhq.hu/