I’ve missed a chunk of the race. What is the average pit stop time? Can Lewis get in and out and still be in front?