Even if those coins end up moving, nothing happens because what's going to happen, they're gonna send it to an exchange. If it goes from wallet to wallet, kind of doesn't matter.

I also believe those keys are destroyed. No, one has keys to those coins. He didn't leave them to his kids. His wife, nobody, those keys got destroyed. My opinion.