googlesystem.blogspot.com offers a handy bookmarklet to directly download Google videos as a .avi file which can be watched with every media player. Get the bookmarklet here

Usually Google videos can be downloaded as GVI files, but in order to watch them, one needs the google video player.