Thanks! It helps me to know I'm not going crazy ;o)
I have a feeling that disabling the hdmi audo device will cause the Phat Dac to become the default which would be handy, but I'm not sure how to do that. I've always tried to avoid playing with sound on Linux!