I would have gone full ruthless points-maximising for Lando even earlier, as it was clear only he would have even a remote shot of catching Max. But you’re right, summer break at the latest.

Given McLaren threw away at least three points here (by not swapping positions of Lando and Oscar) it might indeed come down to fastest laps. Which is a pressure it would have been nice to avoid by capitalising better on this race.