Update - the ID40 briefly showed up on the device list when there was no core. I managed to reset its IP to a fixed value, which I can ping. But it does not show up on debug screen nor anywhere else. Not sure if that is progress or the opposite!

Anthony

Cinema room: 861v6+ID40, DSP5200SL, 5200HC, DSP3200, SW1600, HD621, OPPO BDP93
Kitchen/Dining room: DSP7200