btw: there's now a way to download the .avi directly (for now).
-click the Download button
-click cancel when it asks to download the video player
-back on the video page, there's now 2 new links: "Manually download Google Video Player" and "Manually download the video"
-click on the "Manually download the video" link (this will ask you to download the .gvp)
-download the .gvp
-open the .gvp in notepad (or rename to .txt and open).
-copy the URL that you see all the way to, but not including, the docid
-paste in that URL. it should download the .avi