The budget for 2024 is $2.5 billion, but it’s not as bare as it appears. Officials are saving huge prior to revenues dropping by 11% in 2026.