Oct 23, 2022; Austin, Texas, USA; Red Bull Racing Limited driver Max Verstappen of Team Netherlands and the Red Bull…