ABC is reporting that the final cost of the contract is around $3 billion, but that cost is probably rising. His $4 billion number may not be that much of an exaggeration.