Did they use a torrent? If they used a torrent isn't it likely they distributed it while downloading it?
Surely a state-of-the-art tech company would know how to disable seeding.
BitTorrent clients will not send data to clients which aren't uploading, as far as I know.