Color text in GuiTextCtrl?

[bscharff]

PHP Code:

    new GuiTextCtrl("BNSS_Info3") {
      profile = GuiBlueTextProfile;
      height = 20;
      text = "Red = Alert";
      width = 75;
      x = 200;
      y = 195;
    } 


What would I do to change the text's color to red (or any other color)?

If this is not possible, please tell me what control I would need to use (or whine at Stefan to make it possible).