Ferrari still in the lead? The Porsche still needs to pit right?