Dollar, energy, and labor cost differential--leaded vs. unleaded gasoline | lit.salon