 Well, you were absolutely right. We were spared from a hurricane barrel. Maybe we saw a foot of storm surge along the coast and along our beaches here, but really, really, really spared. It's been well. As for Corpus Christi, it's a destination place. It's one of those areas where you're not going to run across it by traveling across the highway like, oh, look, look what we ran into. It's a place you want to absolutely head to as tourists.