Network Audio Streaming with PulseAudio

I had been trying to come up with a way to get sound from my PC (and laptop) to a stereo for awhile. Recently, when the onboard audio on my desktop's motherboard died (thanks Gigabyte!), the situation became somewhat more urgent.

As I grabbed a USB audio interface as a temporary solution to my desktop's now dead audio, a thought came to my mind. Why don't I take one of the ARM boxes I have sitting in a junk drawer, hook this USB interface to it, and stream my desktop's sound to it using PulseAudio? So that's what I did.