What time was $RED actually released to the public?