Texas opened as 7.5 point favorites at home against highly ranked TCU. What will happen?