I have a 4K Samsung TV that has something called HDR Pro, but I don't think it's the same thing as HDR10. When I set up my Apple TV, it auto-detected HDR and set itself to 4K HDR. Any reason why I shouldn't keep Apple TV set to HDR even if the TV doesn't truly support HDR10?