This is what the DC budget (Washington, as opposed to data center) is for.