If he is much concerned about the size of the file, he can use an alternate os. downloading an 87 MB file, writing it, booting with it, copying important files to other drive, then reinstalling (may take atmost 35 mins). So everything will be done within an hour. Instead he can choose to download a file which is large as 500MB..