Red Dye No. 3 is a "color additive made from petroleum," which "could previously be used in foods in small amounts as ...