I think Hamtramck went ahead with the repairs and shouldered much of the cost.