OK, I did a little experimentation last night.
I had been trying to connect the Nexus 7 to an "AUX" HDMI connector on the front of the X500, which is obviously desirable for a device that will normally be connected only temporarily to the receiver. Yesterday I tried turning on and connecting...