You need a video to GIF converter - I use MovAvi Video Converter and it wiil change any video file format to a looping animated GIF or to any other supported video..
Clearly, I'm not John, but I can say that MovAvi Video Converter is NOT free, but it is well worth the money! (It was John who originally led me to try it and buy it).