🤷🏼‍♀️ from the article: ... cost to repair Washington, D.C. streets after ... could cost as much as $16 million ... ➡️ That's part of an estimated $45 million total cost