The DOE said it was saving taxpayers $7.56B. The actual amount is less