suggestion time:what does /gif/ use to make .gifs?
get your clip by using VirtualDub to edit it down.use Ulead Gif Animator to resize, edit frames, etc.