Que horas o $RED realmente lançado para o público?