ROBERT_LEE missing in Texas