Download the video as
Windows Media Video (640x480, 23 MB)
AVI, DivX (640x480, 14 MB) - get DivX
AVI, DivX (320x240, 10 MB) - get DivX