Robert Lee Independent School District is a public school district based in Robert Lee, Texas (USA) covers much of western Coke County