red Enchilada sauce

[stricken]

There used to be a recipe on the back of Whole Foods Market corn tortillas for a red enchilada sauce. That recipe is no longer printed. Does anyone happen to know it?
I'd like that exact recipe not some other recipe that's as good.

thanks

-----
Whole Foods Market
525 N Lamar Blvd, Austin, TX