Re: You think aircraft carriers are expensive...
"whether the computers will turn on is another matter... I remember at one point the US was refusing to hand over the source code....."
Pretty sure not having the source will not affect the computers turning on. Maintenance maybe but not boot up.