Yeah, I've been keeping my eye on the javascript GIF scene (there are now decent decompressors and compressors), but all of the existing options are fairly expensive and don't work on older browsers / slower JavaScript engines / slower computers. At the moment swapping static thumbnails with the actual GIFs gets us a lot of benefit with little perf overhead.