In medium bowl, combine tomato, onion, cilantro, garlic and Tabasco pepper sauce; toss to mix well. Just before serving, add avocado and salt. Add additional Tabasco pepper sauce, if desired.