https://www.auto-motor-und-sport.de/for ... se-rennen/
AMuS suggests that rumour from RB camp is that without the engines being turned down and the engineers giving deltas to the drivers there could've been 1s/lap even more pace
The gap could have been even clearer. After the second pit stop, the control center ordered its drivers to stick to the specified times. Verstappen and Sergio Perez reduced engine power with about ten laps to go. From the Red Bull camp it was said that otherwise you would have driven one second per lap faster.