Postpublished at 13:31 British Summer Time 9 July 2016
Meanwhile, Jenson Button is doing that thing where you run for a bus and just miss it and pretend you never wanted to get on it in the first place.
He's heading back down the pits and is off for a cup of tea.