[KevinMS]

I think a lot of their budget was related to launching rockets, and they don't do that much anymore.