Both should beat you're current soundcards quality. The Auzentech gets the benifit of "true" EAX. From what I've seen though, the HDAV has some driver issues to work around, so I'd check up on that front before buying...
As for setup, the first option would be the correct one in this case:
Video: GPU -> HDMI -> Soundcard