I have just had installed a Genie plus a Mini in my bedroom. In the BR I previously had an HR20. I use a Sennheiser wireless headphone to keep from disturbing my wife. The headphone transmitter was connected via RCA plugs to the audio out on the HR20 with the TV sound and audio via HDMI. The Mini has some type of digital video out but I don't think this will be suitable for the headphone plugs. Can someone recommend the best way to get audio to the headphone transmitter from the Mini?