Actually, we do have an option. I have no idea on price yet, but I can't imagine it being any more than a set of aftermarket lugs... Maybe even less.
I will likely end up taking my OEM lug nuts to be anodized (ie: the same coating on all coloured lugs) at a local shop, in the spring. I don't care about the shape of the heads, etc. I just want them to be red, which any anodizing shop can do. Rejoice!