FORMULA 1 ARAMCO BRITISH GRAND PRIX 2023
circuit stats
There's pretty solid odds that they pit for a tire change a lap before it starts raining only to pit a few laps later for inters.
Makes sense.