Is that $20 a hard figure? I remember reading that it only cost the Saudis $2-$3/barrel in extraction costs at the time.
Well the information came from my brother who was a vp for a major oil company at the time.