Maarten stumbled across what he said was very useful documentation about the AVI file format. For future reference, here it is: http://sunsson.iptime.org/projects/juliet/wiki/MediaFileFormat