Those figures are the actual models available in DAZStudio except that they are tinted one color. I believe someone released their tint colors at ShareCG for free. Red and blue are among the offered colors.