Since according to another post in this thread, 11000 barrels of leaded are produced each day, vs 4.9 million barrels of diesel fuel seem to be the numbers, not a huge amount. However it is still good that the law now allows unleaded.