It wasn't immediately clear if the names could or would be changed under the new ownership.

Although the buildings will change hands when it comes to owners, they will remain housing for government offices with the state now becoming a renter.

No one knows for sure how the deal will work out in the long run, when it comes to money saved versus money spent. Earlier this year the Associated Press reported selling the properties would end up costing $5.2 billion over the next 20 years. That is double today's sale price.