The rollover in Permian shale production has been revised away -- now a new all-time high. And with that, overall US crude production repeats last month's historic high at 13.2 million barrels/day.
