4 ms·They got a slight budget increase in the 2020 budget to $3.56B.by adam 7y agoThey got a slight budget increase in the 2020 budget to $3.56B.