May sound rude, but .. it is his own fault.
How can someone download binaries from a website and run them without verifying the signature of the file ?
And then continuing to store 7k $ on it.. That's just dumb.
People are told to verify signatures all the time. Spend 1 hour on this forum and you already read multiple posts telling how crucial it is to verify the signature of the downloaded wallet before running it.
I know, but what the hell, people are still so dumb and then bitch around and blame the system because they lost so much money. But if you look closely, 90% of that cases tells us that it's the users fault.
Just like in this case, downloading binaries without verifying it. Maybe he was a newbie or didn't know how to verify, but it's his own fault and I'm sure he had learn a lesson, a very expensive lesson in cryptoverse.