A lot of people are recommending very different types of hot sauce. Are you looking for something with a primarily tobasco flavor? Not that I have any recommendations if you do, but it might help focus the suggestions being given.
Red Tabasco doesn't have much flavor (in the hot sauce world). It is pretty much pure heat with slight acidity. The only alternatives that I know are american.
Though because of its simplicity, you could just DIY it with cayenne chili, vinegar, and salt. It is super easy.
I'm biased, but I prefer Portuguese piri-piri sauce to Tabasco. If you want something fancier I can also recommend Crazy Bastard sauces which are made in Berlin..
Check Paladin. It's portuguese and we know our spicy sauces. The company is family owned and their products are essentially gold standard in Portugal. They mostly export their name brand but supply supermarket chains with store brand products.