Haven't tried this, but here's an AVI -> GIF converter which also apparently goes the other way as well, GIF -> AVI

http://www.shareup.com/123_Avi_to_Gi...load-2529.html

Free trial, so I'm not sure what the limitations are on it.