To optimize the subtitles colors I had modified the default DVD palette, which is used also by BatchMux/Muxman to assign the colors to menu highlights.
To fix that, I have completely redefined also the Selection/Play colors list, taken from \AVStoDVD\Menu\HL Colors folders.
Bye