Lange mussten die Fans der Formel 1 auf das offizielle Endergebnis des Großen Preis von Miami warten.