First introduction to chile verde was mid 70's in high school at Taco Bell. Back then, you could order your favorites made with either green or red sauce...they were right next to each other in seperate chaffing dishes at the prep counter. TB has sinced farted around with the green sauce, putting it in packets. On and off availabity at Michigan franchises and corporate stores.
Use to be able to order a burrito supreme with verde instead of TB's sorta nasty red sauce. IMO...TB is missing a golden opportunity to reintroduce the verde.