 Part of it is he's extremely well compensated. I mean, we all know about the team moving pickets thing and all that. But he's paid, I think it's $8 million a year, which in the Big 12, okay. I don't know that the Big 12, now that OU and Texas aren't there, they're probably not an $11 or $12 million a year sort of program for a head coach. Mike Gundy's getting crazy paid, and now it's a conference he really can win every year.