Convertimg a Sequence of Images to an AVI File

[W. eWatson]

I have a file of images shot at a frame rate of 1/30th of a second. They are 
640 by 480 bytes followed immediately by up to 200 smaller images 128x128 
pixels. The software I'm using will convert this into a mov file. I'd like 
to simply take the large images out of the file and make an avi file from 
them. What in Python will help me do that?
-- 
                                W. eWatson

              (121.015 Deg. W, 39.262 Deg. N) GMT-8 hr std. time)
               Obz Site:  39° 15' 7" N, 121° 2' 32" W, 2700 feet

                     Web Page: <www.speckledwithstars.net/>