I saw Tabasco ketchup and a Tabasco marinade but they were "closing out."
I've never used it, but I would think it's still around.
I see it in all our local markets, including Walmart. I've seen it by the ethnic foods and by the bottled sauces, like steak sauce. If you don't know what aisle to check, just ask an employee.
Amazon has it too.
Yes they do in most commercial markets.t