Did Colorado’s double overtime win against Colorado State attract a record college football audience?