 But regardless, we've got two buildings that are paying more tax revenue than that old townhouse hotel was. So it's a win for the city regardless. And you had a lot of construction work and jobs and a lot of economic development that was created through that. Will the new owners of the building, whoever takes over the management, will they be responsible for the tax dollars to the city once they take over the building? Absolutely. So the city hasn't spent any money. And when the project is complete with whoever takes over, the city will get its tax revenue.