1 of 8 credits have a verdict, together taking $579M. The biggest was Operation Red Sea at $579M. The rest are still counting, or never reported a budget.