Original Snyder High School, later named Travis Jr. High.