For what it's worth, an HDMI output on a video card is nothing special. You can get a DVI-to-HDMI video cable for $20-30 (or more, depending on length). All that matters is if you are going to watch protected content (DVDs), then the video card has to support HDCP over DVI (which many do).