 Well, I think that because we do have very little private inholdings in Red Rock Canyon, there isn't a tremendous amount of change. This is obviously the biggest inholding is this piece of property that's on top of Blue Diamond Hill, 2,400 acres. What about the popularity of the area? How have you seen that grown? That is a tremendous growth. Prior to COVID, I believe we were tracking about 2 million visitors a year to Red Rock Canyon, and they're expecting now an average of 4 million visitors. Wow.