Don't forget that Saudi Arabia, Egypt, Turkey and Pakistan et al purchase tens of billions of dollars EVERY YEAR of US manufactured weapons of death and destruction. SA is the major customer, followed by Egypt and Turkey. The US can ill afford to damage their number one remaining manufacturing industry.  See ...  http://www.cnn.com/2016/05/24/politics/us-arms-sales-worldwide/