So, Patron Highcroft gets penalized in the pits (and thus loses the lead and the
win) for the Gas Guy not having on a helmet and goggles, when in fact he did and
the officials immediately stated it was a mistake. I heard that after the race,
the FIA gave that official a call and offered him the head F1 Racing Steward
job. ^_^