 It also once housed a campus of Red Rocks Community College.This relationship with Red Rocks allowed students to take some college courses, after normal school hours, and receive both college and high school credit.As of 2007 Red Rocks no longer operates this campus.