123 avi to gif Converter. You select the AVI file, tell it how many frames to use (each, every 10th etc). click convert, then save the file.
The program is shareware at $29 but you will not be able to save the converted file until you buy a key. The program does not seem to be able to handle larger avi files it crashes with memory errors but worked fine on smaller ones.