Yes Jim I saw the last half, forgot it was on and was playing on the Nintendo with my 2 kids...
They didn't play especially good, niether team could hit a 3, but I agree, The "Gator Choke" could be a thing of the past, at least for several years.... They'll play like CHAMPS when it counts, sorta like the Football team...

GO GATORS!