 And Oklahoma's named for a family, I believe. Yeah. It's Gaylord Family something, something, something Sooner Stadium. It is a long name. Long name. I think Texas did the same thing. I think their stadium is extremely long. I mean, a lot of these places have