I have a hearing impaired client asking for wireless earbuds or headphones that can be fed by Dolby Digital encoded throughout of HDMI (only) sources fed through a Denon AVR-X4200. Given that the HDMI ins are normally not avaialable on Zone 2 outs unless duplicately fed by Toslink or analog (not possible to add in this case), I'm struggling with how to make this work. I also haven't had luck finding a wireless headphone rig that can accept DD.

Can anyone share solutions that have worked for this scenario?

TIA