We know that those four I examined did not use 7, but then we can allow our users some extra space (like what you pay for in the Jumbo Jets)