Boletos tcu horned frogs vs texas tech red raiders football (october 20, 2012)