What a load! Arab oil didn't come on stream until long after the war.
Yes. Quite right. Just another of the silly inaccuracies that I didn't bother to comment on.