 So I bring it up because there's kind of like this passing rumor of, oh, maybe they could hire Texas A&M's coach. He's doing pretty well this year, whatever. Well, literally a day later, after the championship, Jim Schlossnagel, that's the guy's name, head coach, Texas A&M, takes the Texas job. And I'll tell you, Jason, I thought it was kind of a niche thing.