How high are the Colorado fans after halftime?