Non sono d'accordo questa volta.
Hamilton sia su rosse sia su gialle aveva dai 3 ai 5 decimi al giro di vantaggio su Verstappen.
Se Verstappen avesse risposto subito alla sosta di Hamilton sarebbe uscito dietro.
Quello che speravo avrebbero fatto era, quando aveva ancora 15/16 secondi di vantaggio, farlo pittare e uscire con le rosse (ne aveva un set nuovo), per 3/4 giri avrebbe guadagnato 1,5 secondi al giro ad Hamilton poi sarebbe stata più dura.
In ogni caso Hamilton aveva più velocità sul dritto e più carico in curva, anche sull'usura gomme sarebbe stato più efficace alla distanza.
Effettivamente quello che dici tu mi sembra la soluzione migliore, se cambiava al giro successivo subiva l'undecut e finiva dietro, se invece con 14 o 16 secondi di vantaggio si fermava e metteva le rosse avrebbe avuto circa 6 secondi di svantaggio che però con la mescola più morbida avrebbe forse potuto recuperare.