I was thinking of getting some of those off ebay, and painting them up as Red Martians. The Red Martians I have are conversions from RISK LOTR orcs.
Seems like everyone's Red Martians are conversions from something else. At least my Green Martians are genuine Peter Pig, though, IIRC, they called their's "large green aliens" to avoid copyright problems.