Artist Ivan Roque paints a car as fans arrive for the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Red Bull Racing principal Christian Horner's wife Geri Halliwell arrives for the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Darron Cummings)

Racing fans arrive for the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Team Ferrari and Mercedes caps are shown for sale at a shop at the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Red Bull driver Max Verstappen of the Netherlands rests against a garage wall after winning the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Darron Cummings)

Red Bull driver Max Verstappen of the Netherlands, winner of the Formula One Miami Grand Prix auto race, holds his trophy and a Miami Dolphins' helmet at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Lynne Sladky)

Spectators react as they watch the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Red Bull driver Max Verstappen of the Netherlands receives the winner's trophy from former Miami Dolphins quarterback Dan Marino at the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Lynne Sladky)

Red Bull driver Sergio Perez, of Mexico, left, walks in the paddock with Puerto Rican reggaeton musician Bad Bunny, right, before a Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Lynne Sladky)

Race fans buy merchandise at a shop at the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Ferrari driver Charles Leclerc of Monaco leads the field at the start of the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Darron Cummings)

Red Bull driver Sergio Perez, of Mexico, left, walks in the paddock with Puerto Rican reggaeton musician Bad Bunny, right, before a Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Lynne Sladky)

A sign announcing upgrades for crypto currency users is shown at a shop at the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Fans arrive for the Formula One Miami Grand Prix auto race at Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Wilfredo Lee)

Mercedes driver Lewis Hamilton of Britain rides in the driver parade ahead of the Formula One Miami Grand Prix auto race at the Miami International Autodrome, Sunday, May 8, 2022, in Miami Gardens, Fla. (AP Photo/Darron Cummings)