Não tenho certeza sobre a segunda opção, mas a terceira é definitivamente possível e até mesmo suportada pelo padrão kit de criação de mídia .
A primeira opção também é viável. A questão é como o HDD está atualmente formatado. Se for um disco MBR (provavelmente se esse dispositivo for um pouco mais antigo) você terá que ter uma partição primária livre para colocar os arquivos. Formate-o como FAT32 / NTFS e coloque os arquivos nele. Depois disso, a marca é inicializável e acredito que você deve estar pronto para ir. Já faz algum tempo, então eu não tenho 100% de certeza, há muitos guias para HDDs externos e eles devem funcionar para este caso também.
Para corrigir o erro real, talvez use o CHKDSK e execute uma verificação completa. Pode ser que existam setores defeituosos e a configuração apenas tente usá-los. Se houver outros dispositivos de armazenamento (cartões SD, dispositivos USB, etc.) conectados, tente removê-los também.