ooooooh... you've got HDMI on the receiver? DVI to HDMI is a fairly trivial thing, other than the HDCP thing. But you probably don't have to worry about that, since your source (the computer) probably isn't going to be hdcp protected.

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