DARNELL_HALL missing in Texas