Question: Where did the team Mike Gundy coaches play their home games in 2005?
Sentence (from "Mike Gundy"): He became Oklahoma State's coach on January 3, 2005.
Relevant evidence: No