El Rancho Enchilada Recipe

I used to frequent El Rancho on 5th Street when I worked downtown in the 80s and 90s. I loved the cheese enchiladas that were sauced with gravy from the red chile stew. I no longer live or work in the city, and I know El Rancho closed a few years ago. Does anyone have the recipe? I recall asking the owners for it long ago but they refused to share.