I doubt it was a download, it would take me about 5 hours to download 10gb.
Sersoft, you’re gonna hate me for this, but a couple weeks ago, I downloaded ~1 gig in 3 minutes.
My internet speed hasn’t changed in 2 years, and before that it was exactly half.
I love when I need to download a series or rar files (part01.rar part02.rar, etc) because I can use my neighbors internet(same speed as mine) to download half of them to essentially download twice faster, and I can do it with only 1 computer. 
Anything is possible with the right connection 
My download speed peaks at over 11 mb/s
mine peaks at about 15mb/s
but the transfer was local, and the computer was slow as ever