On July 16, 2020 the school board voted unanimously to initiate changing the name of both Robert E. Lee High School and John Tyler High School.
On July 16, 2020, the school board made a decision to alter the names of both Robert E. Lee High School and John Tyler High School.