Done. Seems like the original creator used Fraps to capture the video and then re-encoded it, but he used PCM audio

. I've dropped the file size to ~1.2MB without any noticeable degradation. Could probably go further if we reduced the video bitrate, but I don't know how much video quality the Metropolis guys are willing to sacrifice.
The board won't accept avi attachments, though, and I think it might be too big anyway. Anybody offering hosting?