Another Billion or Two or Ten or Hundred or Trillion more would be good. Give the Israeli's two FBM Submarines and at least 57 Trident II, D5's. That is enough for all of Obama's 57 Muslim States in the OIC. Nuke em all. Multiple warheads, rumor, classified, is 8. That way one could take out All of the Moo Slim Capitals near Israel. That leaves another,... let me see 56X8 = 448 for anyone else that attacks them.