Looks good.
However, the previously suggested fixes should work in his case if his seed phrase is correct because it's reproducible.
(Seed phrase to Electrum->select the correct address type, and the 1st address should be the same as Coinbase Wallet's)

Overall, it comes down to the possibility that he backed-up the wrong seed phrase.