Changing default audio device in Pulseaudio

It seems like I found a solution, at least for this particular case. Since I knew the card and device number assigned by ALSA, I just had to open /etc/pulse/default.pa. in editor and change this line

#load-module module-alsa-sink

into this

load-module module-alsa-sink device=hw:2,7

where 2 and 7 are my particular instances of card and device numbers. This created a new sink connected to the correct device, which was then used as the default output.