Good analysis. If the Gov was bringing in ~$85M/year, that seems like a solid amount of operating budget to support it technically/operationally.