Yup.
He did say they got his cold wallet as well; but that setup is unknown to me.
Could be the same "backed up and pgp encrypted" garbage.
Forget the BTC - he didn't use a Yubikey or **anything** to secure his PGP keys that everything depends on in his security model?!