Is it possible the wallet is looking for a private key format that differs from the one provided on the coin? I’m not an expert in redeeming private keys but there have been numerous struggles with people trying to redeem improper formats etc.
Have you tried other wallets to import it with? Does it come up as invalid everywhere?
it is possible that he is not importing them correctly and thus getting a different "address' for example below using electrum,
If the address starts with a "3" you have to prepend “p2wpkh-p2sh:” before the private key.
If the addresses begin with "bc1" then you prepend “p2wpkh:” before the private key.