¿A qué hora realmente se lanzó al público $RED ?