Do you think repairing Old City Hall should be a priority?