There's no official auto.fun coin and no plan for it, but I did buy a random pump coin to cause a stir and it ran so I'll send my supply to the DAO and we'll hold onto it I guess, feel free to CTO it or whatever