Just received my MarkIII. Am curious if anyone has experimented with the two (apparently mutually exclusive settings) Auto Light Optimizer vs Highlight Tone Priority? I shoot exclusively in RAW. Are these two options helpful for a RAW shooter? If so, only in contrasty scenes? Would HDR be more effective, either in camera or postproduction? Thanks for sharing your experience. 