Yes, the default premium icons.
Then the stupid question: where exactly do you set the user col-red3 value?