Valaki át tud nekem alakítani egy GIF-et kisebb méretre?

Nem hinném. A GIFnek közismerten megvannak a maga korlátai, amelyek miatt nem érdemes videó helyett használni. Van egy jelentéktelen, inkább csak elméleti esélye annak, hogy a készítője valami rosszul optimalizált eljárást használt, és akkor videóvá visszakonvertálva, majd megint GIFfé alakítva csökkenhet a fájlméret, de nem lehet megtippelni, mekkorát zuhanna a minőség az ilyen bohóckodás közben -- és, mint említém, ennek eleve az az előfeltétele, hogy mamlasz módon legyen megcsinálva az eredeti. Hétköznapi esetben hajítófát sem ér.