Postpublished at 10:36 British Summer Time 30 July 2016
There might be a problem for Max Verstappen's fellow Red Bull driver, however. Daniel Ricciardo hasn't done a timed lap yet. In fact, he has only managed three laps in total so far this morning.