Do they still sale Black Pepper Jack Doritos and (or) Smokin' Cheddar BBQ?

I used to love the black pepper jack Doritos. And I do remember the barbecue ones, but I don't recall seeing them when I go to any of the grocery stores. All I see are the regular cheese ones and the cool ranch ones and a couple other flavors but not those two you asked about...