FWIW, HDMI to DVI should be simple and cheap. The signalling is the same, it's just a connector-convertor.

Peter