$4.5M in repairs to the NC Executive Mansion. We still don’t know how the money was spent.