The North East Independent School District in Texas was facing pressure to change the name of Robert E. Lee High School, amid national protests over the legacy of the Confederate general.

But officials were concerned about the estimated $1.3 million it would cost to remove and replace signs, redo a turf field, order new uniforms and make other changes large and small.

So they decided to rebrand the school Legacy of Educational Excellence, and use LEE High School as its nickname, starting last school year. The move, which included keeping the school’s gray and red colors, saved about $1 million…

Oklahoma City Public Schools wasn’t sure whether its Lee Elementary was even named for Robert E. Lee, because the school never carried the full name. But after the 2017 discovery of board minutes from the early 1900s that listed a portrait of Robert E. Lee as a gift to the school, officials figured the school must be named for the Confederate general. It changed the name to Adelaide Lee, after an Oklahoma philanthropist, in 2018.