FWIW, sub-5kb banners were probably the only Flash projects that didn't include GSAP before we collectively jumped ships to JavaScript and CSS for animation on the web. It was everywhere.