There's only two red sauces that I know of that are served as condiments. A red sweet 'n sour like Lugaru posted, or chili paste which is traditionally served with dim sum.
Other sauces include a bottled pre-made XO sauce but that's for cooking. Restaurants won't serve that as a condiment unless you ask for it.
"Boldness has genius, power, and magic in it."
Johann Wolfgang Von Goethe