FWIW: Windows 10 isn’t listed as a supported OS for that formatting tool.
Neither is the HP Formatting tool (which is what i actually prefer), but I sure it will be updated soon. Until then, one might have to find a machine with an older OS on it to re-format the drive.