So I don't know if this is a question with any kind of knowable answer, or if it's too early to even say, but with the last few marketing pushes, is any of this reaching a wider audience beyond hardcore or casual theme park fans? Is that the audience for the current moment, and 2025 is when we start seeing SuperBowl commercials and big billboards in major cities? I'm curious to know how well the marketing effort is going, because despite us being 3 out of 5 lands in to the announcement cycle I feel like it's still kind of a niche interest for most at the moment.