Cara - eu finalmente consegui consertar. Depois de passar pelo guia de iniciantes uma e outra vez, eu tinha certeza de que havia um problema com o meio de instalação. Primeiro usei o USBwriter para gravar o arquivo .iso em uma unidade flash USB. Deve ter havido um problema com o programa ou com o USB. Então peguei um DVD-RW e usei a ferramenta padrão do Windows 8 para gravar o .iso no disco.
Quando concluído, inseri o DVD no meu laptop e tudo funcionou bem. Todas as ferramentas que eu precisava estavam disponíveis. O DVD consertou isso.