Download Google Videos As AVI Files
It should look like this:
Remember, make sure your link toolbar is visible, or else it won’t work.
Next time you want to download videos from Google Video, while watching one, click the bookmarklet and save the video.
And yeah one more thing, the location of the AVI files in Google Videos can be found in the source code of the video pages. But unfortunately, it’s hidden for Windows users.