 And they call it Texas Memorial Stadium. And they call it Texas Memorial Stadium. They don't even call it Royal Texas. In my opinion, why didn't they just call it Royal Texas? Does that make it sound like it's a kingdom or something? I don't know. I don't know. But the point is, just because it's three names, just because it has a little bit longer name than we're used to, doesn't mean you can't