It shows how quick the Merc was. They gambled on a pit stop which costs about 23s, from right behind leader Verstappen, with just over 20 laps to go, so the new soft tyres were worth well over a second per lap. I think Hamilton caught and passed Verstappen with plenty to go as well. I guess the only thing to have done was to have Verstappen dive in as well. But then he would have had to pass Bottas as well.
It is frustrating that they have to manage the tyres so much. I'm not sure if in race refueling would change that or not.