Correction: GPS infrastructure is DoD funded, not was. It has ongoing maintenance costs and its being upgraded.