We were hear at work talking about Dorito's and made me think of the greatest flavor ever, Guacamole. I have not seen them on the shelves for atleast 2-3 years. I always thought it was a seasonal flavor, but like I said I have not seen it in a long time. Have the disappeared forever?