Unlikely, someone would have noticed when they imported their seed + passphrase into a hardware wallet from another manufacturer, right? If a different private key was calculated on for example a trezor no UTXOs would show up.