Yeah just saw it, lost a big chunk.of time. Back to business as usual and the gap is growing again.
They had 2-3 more laps on Lewis before needing to pit. And the offset to Verstappen will be significant towards the end of the race. Verstappen is not out of the equation here.