I just saw that 8 drivers were given time penalties hours after the race ended for exceeding track limits during the race. They need to do something different if they need 6 hours to review a 1.5 hour race to see who might have driven a fraction of an inch over a line.

How crazy would it have been if Max was one of those drivers and if Red Bull's decision (technically, Max's insistence) to pit him at the end to go for fastest lap would have cost him the win because he ended up less than 5 seconds ahead of Charles?

It sounds like a chaotic situation for sports betting sites who already paid out the "winning bets" before the post-race penalties were assessed and changed the finishing order.