If yes, then I would still be paranoid of seed bruteforcing. There's something about Electrum that wouldn't allow me to sleep at night with any relevant amount of money in there.
The seed is just another way of representing a random 128-bit number. You'll have about as much luck bruteforcing that as a private key.
You think he really sodl all his Bitcoins for Bcash? I hope he didn't and he is just living a wealthy life somewhere.
