Robert Lee Independent School District

Robert Lee Independent School District is a public school district based in Robert Lee, Texas, US that covers much of western Coke County.

Academic achievement
For the 2021-2022 school year, the school district was given a "B" by the Texas Education Agency.

Schools
The district has two campuses -
 * Robert Lee Junior High/High School (Grades 7-12)
 * Robert Lee Elementary School (Grades PK-6)

Athletics
Robert Lee High School plays six-man football.