The "cost of ownership" is often approximately 33%/33%/33% for capital cost (annually), support (annually) and users& operations. Of course being government they probably don't account for the costs on an accrual basis.

Two machines, 5 years apart, and 66% non-hardware for ten years is, what, 250 or 300 millions for the pair of them?