I found out some time ago there are two hard-drive names, one we can affect easily in Windows' explorer's left side panel and the other, a long-winded geeky name. Is it the BIOS/UEFI or the HD that feeds that long-winded name to the Device Manager? I'd like to learn more about this.