If you're using a 4650 (or any modern 4xx0 series radeon) you do get the HD formats over the HDMI connection on the card. If I follow right, you don't have a receiver that does the decoding, though, right?

I am the Doctor, and THIS... is my SPOON!