It’s Round 5 of the 2023 Formula 1 Season. It’s the Miami Grand Prix. And it’s all over. Let’s talk…