I'm curious, if Texas had lost, where would they have gone? Would they have gotten a BCS at large bid like UF? Or would they somehow end up relegated to the Holiday Bowl due to the Cotton having already having taken Ok St. officially?