great suggestions, but I don't see the GIF export option.

I think the $39 one is going to work.

At this point I don't trust most video (AVI, MP*, MPEG, etc) since there are so many different codecs out there. Seems like there is always some stupid video that someone cannot watch because they don't have the right codec on their machine and finding the right ones does not always happen.

Soundless gifs I think are perfect for my needs.