When zooming in you'll find that there's a few more than four colors, but it's still not too much for a GIF. I tried saving it as a JPG in Photoshop with a quality of 12 (the highest) and the expected filesize was still only about 10k. Ah, well, whatyagonnado.
Here you go, at 3 KB:
