Robert,
As a temporary workaround, would be possible to connect the Mini HDMI port directly to the receiver for the HD audio and the display port converted to HDMI in the TV? Doing this I could have HD audio and video. Does it work?
thanks,
Jose Antonio