OK, tenho a impressora funcionando. Depois de ler o comentário de @fossfreedom, olhei novamente para o applet de adição de impressora.
A última vez que tentei adicionar a impressora, procurei-a clicando em "Localizar impressora de rede" em "Impressora de rede" e selecionei a impressora na lista de impressoras disponíveis na rede.
Desta vez eu cliquei em "Find Network Printer", mas também entrei no IP da impressora e cliquei em "Find", que mostra outra entrada na lista "JetDirect ...". Selecionei esta impressora e terminei o assistente de instalação.
Funcionou!