Wow! That was too many bitcoin. There are some software that recover files on a hard drive. That was a huge amount of money. Hopefully he could recover the file.