New DOGE findings, this time it’s $5.1 billion.