Assuming no copyright issues (on using the GIF), I imagine one could play the GIF animation in a window, and then use Camtasia to screen-record that window as the GIF loops along, and then edit/import/export that recording, as a video track in Camtasia? I haven't tried it, but this just popped in my head, on reading this thread. Sorry if this answer is off-base!