Just how close did "lucky" Red Bull come to Miami GP "disaster"?