Einzelbilder aus Animation exportieren, abspeichern, jedes Bild einzeln verkleinern, in ein entsprechendes Tool (z.B. Ulead GIF Animator) importieren und wieder als Animation abspeichern. Ist eigentlich recht einfach.

Wenn Du allerdings daran denkst, einen animierten Avatar zu erstellen (Verkleinerung einer ohnehin schon fitzeligen Größe): Vergiß es, die fertige Datei wird noch immer über die erlaubten 10K groß sein.