Not that I remember, but 40 years can cloud things up. I always remembered it was more like a tamale outer shell, but Enchilada, Burrito...hence Enchirito. They use of the flour tortilla mades more sense!
Did the 80s version of the Enchirito have beans in it?