I'm trying to download this video, but every online tool and offline tool either doesn't work (FlashGot, videodl.org) or is obviously malware. Is there a free tool that I can use that will work? The only alternative I can think of is CamStudio.
Although you ask for a free solution, the only one that comes to mind is RTMPDump as others have mentioned. I, however find it quite difficult to use.
CamStudio may be good, but it records your screen, not really the actual video stream that is being received (which is what RTMPDump does).
I would suggest http://www.binarymark.com/Products/StreamingVideoDownloader/default.aspx It can record RTMP and even live streams, and is very easy to use. It is not free, but for a small price you get a lot of convenience. It will automatically pickup your video as soon as you begin watching it in your browser and will start saving. You just have to click "Save" to confirm. I tested it and it works with your particular video, so I suggest you give it a try.
Disclosure: I worked on this product as part of the dev team.
This a Flash video served with RTMP.
It does not download the movie as one long file but as a lot of chunks, which the Shockwave plugin will piece together to display the video. You need a RTMP client to read this video.
Luckily, there is one called RTMPDump.
You can run RTMPDump to download the video, but it will need to get the same parameters as the Shockwave plugin would have gotten from the original page. When I search the page you linked to for "rtmp" I find this tag:
It includes an RTMP URL, and some parameters you can feed into RTMPDump. Unfortunately this is not very straightforward and will need some trial and error or googling. You can see another example of this in this Stackoverflow answer.
I would do CamStudio - it's easy to set up and works pretty well. Upload to YouTube if you don't have the space for large video files...