Without diminishing the huge cost Iran has been able to inflict on US radar, quarter of a trillion is off by more than two orders of magnitude, maybe three. There are 1-2 confirmed radar system confirmed hit, a couple more suspected hit or damaged. But that is going to be hundreds of millions in damage, nowhere close to 250 billion,