They don't require leaded gasoline, they require 100-octane gasoline. It's just that until recently, a certified, unleaded 100-octane avgas did not exist.