Saudis have a 5 million barrel-a-day pipeline that runs across the country to the Red Sea, although export capacity at Yanbu may be smaller than that