I'm not 'looking for war' with Saudi Arabia, but if misfortune befell their Royal Family I would not shed any tears, and I personally would consider higher gas prices to be an acceptable price. My reaction would be similar to when I watch a youtube vid of some gas station robber getting his balls shot off by the woman behind the counter. That is, 'Yeah!'
Even I despise the Saudi royal family. But I am not stupid enough to support a war against them. In the past 10-15 years, they have accumulated hundreds of billions of USD worth of weapons from the United States and other NATO member nations. Although I don't think that they will be able to use these weapons 100% effectively (due to lack of training), an attacking side is likely to face huge loses, in terms of both men and equipment.
If I were running things any hardware we sent to the Saudi's which was more complex than a flashlight would be backdoor'd. For the sake of analysis I typically assume that people who are making these decisions is smarter than me, but it's not exactly clear. The wildcard would be how effectively the Chinese have reverse-engineered the various black-boxes in the F-16's and what-not to get the systems back on-line again. But even that probably would not matter very much. Like China, the U.S., and pretty much every other nuclear power, the primary threat to the leadership are their domestic populations. The Saudi RF would have to find people to fix and fly the airplanes and man the AA systems and such. I would suggest they don't waste time hiring foreign mercenaries for such duties if they have not already.
BTW, I would not underestimate the skills and training of some of the Saudi personnel. IIRC the first pilot that shot down multiple enemy in Gulf-I was a Saudi. Of course it is quite possible if not likely that the story was a completely fabricated event as were many of the other offerings from the mainstream media at the time. I was paying some attention to the details back then as a (fairly unwilling) participant.