Folks - what protocol does screen mirroring use and is it Airplay 2? Here's what I'm trying to achieve. I often use Apple Music/airplay to play through my Denon sound receiver. We like to sing as a family (no mic needed) and I tried doing screen mirroring with my iPhone to the TV but then it started playing song through the TV. Any way to continue playing sound to the Denon? I guess not and my only option would be perhaps to connect an HDMI cable from TV to do an audio pass-through to the Denon correct? Would I lose audio quality with hi-res lossless with screen mirroring in this setup?