How do I change the color of the cutter marks in SAi Flexi Production Manager?

Changing the registration mark color is straightforward in Flexi Production Manager. The Color drop down menu in the labels tab shown in the attached photo has a few options. If the profile used has white ink, then White is also offered.