Boletos texas tech red raiders vs tcu horned frogs football (september 12, 2013)