Question: What is the nickname of the stadium where the 2016 Texas Tech Red Raiders play their home games?
Sentence (from "2011 Texas Tech Red Raiders football team"): The 2011 Red Raiders Season finished with a 5–7 overall record, 2–7 in Big 12 play.
Relevant evidence: No