 I think they will. I mean, you've got very valuable land, and it's in a great location. Everything's set up, especially if that square gets done. It's going to be very important. I think as you look at it and knowing how much commercial is there, they'll probably lean more towards the residential side, which is what's paying the bills right now. So I think they're going to right-size it on that mix, and that makes it probably even more valuable. Otherwise, you just have land that's sitting there not doing anything, so you're out that opportunity cost to begin with.