I bought a cheap audio switch but it was terribly built and introduced a bunch of noise. Now I just use a USB dac and let a USB switch handle the switching. If I wanted to have both computers play audio at the same time I'd set up pulseaudio to do that.