In bowl, combine vinegar, oil, sugar, onion flakes, salt, dry mustard, celery salt, TABASCO sauce. Mix well. Add cabbage, carrot and pepper. Toss to mix. Cover and refrigerate. Toss again before serving. Serves 4.