The feat went unnoticed amid the thrilling action out on the track, but a new all-time pit stop record was achieved in Sunday's British Grand Prix.
The fastest tyre swap in the history of Grand Prix racing took place on lap 13 and was performed in 1.91 seconds by Red Bull Racing and the crew servicing Pierre Gasly's RB15.
The DHL Fastest Pit Stop Aawrd clinched by the Milton Keynes-based outfit last weekend beat a three-year record held by Williams since the 2016 European Grand Prix in Baku, where Felipe Massa's tyres were changes in a swift 1.92 seconds.
It actually takes longer to say Azerbaijan!
Beyond the record, the achievement is first and foremost a testimony to a crew's flawless precision and coordination, and perhaps the ultimate expression of team work in F1.
Check out the video of the amazing blindingly fast Red Bull crew at work.
Gallery: The beautiful wives and girlfriends of F1 drivers
Keep up to date with all the F1 news via Facebook and Twitter
Lando Norris admitted that he wishes the team hadn't decided to make the changes to…
Another qualifying session, another pole position for Max Verstappen. In Miami, the Red Bull charger…
George Russell believes that Mercedes’ struggles this season are rooted in the team “overcompensating” for…
Charles Leclerc insisted that he was driving right on the limit in Saturday's qualifying session…
It might look to others that it's been plain sailing for Max Verstappen this weekend…
Lewis Hamilton noted his progress in Saturday’s afternoon’s Miami Grand Prix qualifying, having reached contrary…