Musk's Exit Leaves Questions on $170 Billion in Claimed Government Savings