F1, cambio gomme in 1''88: pit stop record della Red BullMartedì, 30 luglio 2019F1, pit stop da record della Red Bull. Horner: "Un lavoro incredibile"