docs: async def download_file(self, Bucket, Key, Filename, ExtraArgs=None, Callback=None, Config=None):
      """Download an S3 object to a file.
  
      Usage::
  
          import boto3
          s3 = boto3.resource('s3')
          s3.meta.client.download_file('mybucket', 'hello.txt', '/tmp/hello.txt')
  
      Similar behavior as S3Transfer's download_file() method,
      except that parameters are capitalized.
      """
      with open(Filename, 'wb') as open_file:
          await download_fileobj(self, Bucket, Key, open_file, ExtraArgs=ExtraArgs, Callback=Callback, Config=Config)