The Pentagon will spend about $1.2 billion to maintain ships deployed as part of operations in the Red Sea and to replenish stocks of missiles fired to repel attacks by Iran and its proxies, according to new budget documents.

About $190 million will be spent on the restock of the sea-launched RTX Corp. Standard Missile-3 Block 1B and about $8.5 million will go for more heat-seeking air-to-air AIM-X Sidewinder missiles, according to the documents.

Each advance model Standard Missile-3 Block IB costs between $9 million and $10 million. Two Navy destroyers this week fired about 12 Standard Missiles in defending Israel from another wave of Iranian assaults on Tuesday, according to a Navy official who declined to disclose the exact models and asked not to be identified discussing non-public information. That means this week’s US assistance likely cost about $120 million.

The documents also reveal requests for $276 million to buy additional Standard Missile, SM-6 model weapons as well as by $57.3 million for Tomahawks cruise missiles. Another $6.7 million is earmarked Enhanced Sea Sparrow self-defense missile. All those weapons are made by RTX.

The Pentagon will also spend $25 million for Boeing Co. Jdam-GPS guidance kits and $7.4 million for its Small Diameter Bomb. Another $25 million will go to “increase manufacturing sources” for the Standard Missile to support the Pentagon response to what it calls “the situation in Israel.”