MEXICO CITY, MEXICO – OCTOBER 28: Red Bull Racing team members look on in the Pitlane prior to final practice ahead of the F1 Grand Prix of Mexico at Autodromo Hermanos Rodriguez on October 28, 2023 in Mexico City, Mexico. (Photo by Mark Thompson/Getty Images) // Getty Images / Red Bull Content Pool // SI202310280523 // Usage for editorial use only //