Sure, that's some manager's performance bonus. When I briefly worked for Nav Canada our manager decided to buy the cheapest dollar store pens possible in order to pad his performance metrics. We also had to sign them out individually from his safe. Not at all surprised if a CIA manager did a risk analysis and decided lets use the same server(s) and save a few dollars the risk is acceptable.