Red Bull Racing set the World Record for the fastest pit stop twice this season, originally completing a stop in a time of 1.88 seconds at the German Grand Prix before going even further at the Brazilian Grand Prix to help aid Max Verstappen in his win with a 1.82 second pit stop. But what makes them the fastest in the pit lane? Sky Sports' Ted Kravitz explains.