4 ms·

I believe you can safely re-encode gifs without extra loss. (the encoding is also lossless for files with less than 256 individual colors)