James Bridenstine actually said...
We have right now, about $4 and a half million dollars that we spend utilizing it on an annual basis and that is going to scale to about $5 million by 2022.
Context
Bridenstine discusses funding for the Arecibo Observatory.
03/26/2019