But for all the flags Red Bull still so far ahead. Would have been coasting and still won by 15-20 seconds.
Didn't bother to set the alarm for this one.
Teams saying upgrades might close the gap after mid-season but not by much. All done and dusted by then - any gap would be too big too close.