[Oleg Karpov] A quick reminder. When Max crashed (same place) in FP3 in 2018 Red Bull also thought his gearbox is OK initially. It was only when they fired up his car few minutes before qualy they saw a leak.