That's true, and without any legislation or such prohibiting lead they would most likely have continued to use it as anyone who would have phased out lead would have been at a competitive disadvantage. But once it was banned, everybody was again on an even playing field, and as OP explained fuel is a commodity so the higher cost just flowed through to the end user prices, refinery margins stayed about where they were.