Parece que encontrei uma solução, pelo menos para este caso em particular. Como eu conhecia o cartão e o número do dispositivo atribuído pela ALSA, eu tinha que abrir /etc/pulse/default.pa . no editor e altere esta linha
#load-module module-alsa-sink
para isso
load-module module-alsa-sink device=hw:2,7
onde 2 e 7 são as minhas instâncias particulares de números de cartão e dispositivo. Isso criou um novo coletor conectado ao dispositivo correto, que foi usado como a saída padrão.