You can rip copy protected Blu-Ray discs to obtain the high-resolution PCM files for use on a hard drive (BDP-2/3, Aurender W20, etc to DAC). On my Windows 10 computer, I use MakeMKV to remove copy protection, and then DVD Audio Extractor to obtain the high resolution PCM tracks. Yea, it takes a bit of time, but I have done this for a number of Blu-Ray concert disks. If the above referenced box sets have high-res PCM stereo tracks, it would be another consideration rather than HDMI.