 just got to a point where we couldn't justify the amount of money to put back into that pool to revamp it. And, you know, we thought we were going to spend about a million dollars to do it. The bids came in, and it ended up being about $4 million. And so we just didn't feel like that was a good move. And so basically we've taken down the pool this last week and demolished it.