The opening production company logos last 90 seconds. The end credits last 8 minutes and 45 seconds. Thus, 11.7% of this film is just production information. If this is not a record, it must be close.