We have now built the server from here. We used a Sparkle (NVidia) GeForce 210, which is a great card for the job. However we're completely stumped as to how to get audio to work over HDMI, however.