no he is right. You only go to the second if two or more teams are tied with same round Robin record. Ou would have best at 3-1 then ISU at 2-2 then tex at 1-3. No tie.
In that case I will be rooting for OU to beat UT and settle this. I'm alright with ISU getting the #3 seed if it means they have the leeway to drop one of the last four and finish 12-6. Playing West Virginia and Oklahoma in the first two games in KC is a decent scenario.