Iran’s arsenal is believed to hold “over 3,000 ballistic missiles,” US Air Force Gen. Kenneth McKenzie told Congress in 2023 - but exact numbers of each type of missile are unknown.