Or alternatively, export the private key since you said you get the correct wallet using iancoleman then export the private key from that tool and import it to Electrum. Make sure that you use this tool on an offline PC or else it's not safe anymore to reuse that wallet.
He won't be able to do that because he said the seed phrase is not generating the correct native segwit addresses.