Combine soy sauce, ginger, mustard, garlic, and TABASCO® Sauce in a medium bowl. Set aside half of mixture. Add pork tenderloins to bowl and coat with marinade; cover and marinate at least 2 hours or overnight, turning occasionally.
Cut tomatoes in half. Cut zucchini diagonally into 1/4-inch-thick slices. Cut onions into 1/4-inch-thick slices. Place vegetables in remaining half of marinade and toss to mix well.
Preheat grill to medium, placing rack 5 to 6 inches above heat. Place pork tenderloins on grill and cook 20 minutes, turning occasionally and brushing with marinade during first 15 minutes of cooking. When meat is nearly done, place tomatoes, zucchini and red onions on grill and cook 4 minutes, turning once and brushing with marinade occasionally.
Makes 6 servings.
Note: It is important to keep marinade used for pork tenderloin separate from that used for vegetables, and to make certain pork is cooked at least 5 minutes after last brushing with pork marinade.