Thanks for the info. I had forgotten about this post!
Wow, quite a find.
I grew up with these in Wichita, KS then moved away for college. I have fond memories of eating at Taco Tico as a child. But, as an adult, when I have returned home to visit family and ate there it tastes bland. I'm not sure if they have changed their food or my tastes have changed. That said, I'd rather eat at TT than Taco Bell if I'm getting fast food.