That number seems very unlikely to be accurate. It's more than 2x larger than all local, state, and federal government spending in 2025 combined.