Gulf countries have fired around 800 American-made Patriot interceptor missiles in three days against Iranian attacks, raising questions about missile-defence stocks.