Lake Brantley High School was put on a Code Red because of a tip about a possible threat, according to Seminole County Public ...