Downloading a Google video

This page has a little php script which extracts the url of the file which Google downloads to play; with this you can get a .flv file ( huh? ) instead of just watching it online.