Does anyone have the recipe for the Enchilada's NEISD San Antonio TX used to serve in the 1980's?

remember Wednesday Enchilada Day and you hauled butt to be in the front of the hot lunch line because you knew they would run out. They always did; Every Wednesday, Every NEISD School. All this Government yadda yadda yadda blah blah blah has made me long for those ooey gooey cheesey, chili con carne...................................…