 So what we have now is a situation where nobody's ever asked for this. So why don't we just take the roof and come up with something to do with it because we don't have anything better. But of course, it's not a costless exercise. And so with all of this renovation for the roof and now using the old roof for something else, that itself is going to add to the cost.