À quelle heure le $RED a-t-il vraiment été lancé au public ?