Thanks, he is the last one! (check his email adress, it looks surprisingly similar to my username) He didn't have tokens in this account because he put all of them on his ledger, not his metamask. I just heard from him that this is a relief. He does have the adress generating from his eth private key as well.