El Distrito Escolar Independiente Robert Lee es un distrito escolar público con sede en Robert Lee , Texas ( EE . UU. ) Que cubre gran parte del oeste del condado de Coke.