It used to be that you could open shell32.dll with a program like
XN Resource Editor, and extract the AVI files from it. But I just checked, and this method doesn't seem to work with Vista. The AVI files that are listed in shell32.dll don't seem to be the actual videos.