Why wouldn't Kimi pit? Does he have significant fuel left? He would need quite a few laps to make it worth not stopping.