Aqualuminator, right? - I beleive it's their mistake, probably had the package printed, tehn found out the green ones were going to be WAY cheaper to produce than the red ones.
I have a feeling this is the case, only because i know that the red pigment is the most expensive for just about everything - automotive paint especially!