What GIF recorders do you use? I'm trying to find a good one but my file sizes always end up massive. Any ideas?