I now have whole house lossless Apple Music. Not HiRes due to Apple TV limitation of 48kHz, but this works for me. Thought I'd share for people who want to play lossless Apple Music without using AirPlay, and control Apple Music using iPad/iPhone without iPad/iPhone connected via cable to a DAC.
ROOM A
Apple TV playing lossless Apple Music (not connected to a TV; Apple TV controlled remotely with iPad/iPhone) > HDMI audio extractor> toslink to Wiim Pro > toslink to Topping DX3Pro+ (or other DAC) > RCA cables to amp.
OTHER ROOMS
Same set up. Each room can play lossless Apple Music independently, or play the same lossless music in multiple rooms by linking multiple Wiim Pros.
ROOM A
Apple TV playing lossless Apple Music (not connected to a TV; Apple TV controlled remotely with iPad/iPhone) > HDMI audio extractor> toslink to Wiim Pro > toslink to Topping DX3Pro+ (or other DAC) > RCA cables to amp.
OTHER ROOMS
Same set up. Each room can play lossless Apple Music independently, or play the same lossless music in multiple rooms by linking multiple Wiim Pros.