Thanks all. I personally love the Apple UI, and the family are all comfortable using it. Android OS is ok, but I find the Apple to be faster to use and far easier to operate.
Prior to starting this thread, I was not aware the HDR 4K is only supported unto 30Hz. I am glad I'm not the only one who feels this pain!
Rather than splash out on a new AV receiver, I will do what most have suggested - connect the ATV 4K directly into the OLED TV, eliminating the matrix. Hopefully this will work without too many glitches. Its a big shame though, as that means moving the ATV box out of the current rack, fitting it somewhere nearer the tv - hopefully out of sight - and finding power and ethernet and HDMI cables to install neatly etc. Its just a hassle!
EDIT - Can the Control4 SR260 remote still control and talk to the Apple TV, IF the ATV is not connected via ethernet cable - i.e. just Wifi?
Also, if the Apple TV 4K is connected to the TV only, if I play Spotify thru the Apple TV, can I still output the music to the Control4 ceiling speakers?