WFM corn tortillas

[stricken]

Can somebody help? There was a recipe for red enchilada sauce on the back of whole foods market corn tortillas package.
The packaging has recently changed and that recipe is no longer there.
Does anybody know that recipe?

thanks