[Pity that we don’t produce our own oil anymore, and instead are totally dependent on OPEC for our energy needs.
Oh wait... ]
No, we would not be in clover. As you well know, domestic oil prices are not set based on the cost of production, but are set by the the world spot price.
If we produced 4mbpd and exported 20mbpd, oil producers would be in clover because they would be getting more money for their product, but the U.S. consumer would still also be paying the same higher price, just as they would if it all were imported at the same price.
The difference between now and 1972, however, is if OPEC cuts off supply, we have domestic production that can meet critical demand use. In 1972 we did not.