The Round Rock school district’s new elementary school, Elementary 35, has a new name. Last Thursday, the board of trustees named the campus Redbud Elementary. The name beat out two others suggested by a citizen committee and refers to the tree design elements of the new school and some trees in nearby Old Settlers Park.