I don’t think they’re made anymore - I haven’t seen them in the store in about 8 years.
Apparently Costco used to have a ‘Don Miguel’ brand; maybe they still do. I’ve tried the ‘Annie’s’ but they’re just not the same - probably too healthy to be like the old ones ;-)
Here’s a thread where folks are waxing nostalgic about them:
http://boards.straightdope.com/sdmb/showthread.php?t=614401
-JT
Thanks JT, I’ll look it up........;)