Thanks nokoff!
Ok, I must’ve overlooked it… Or perhaps it was a more recent addition — I was pretty sure there was no option for Aux-LED color, when I first purchased my D4S from Intl-Outdoor 2 months ago…