Pork Tenderloin with Texas Vegetable Slaw

Ingredients

• 5 (12-16 ounce) Texas pork tenderloins.
• Salt & freshly ground black pepper.
• 1 pound carrots, matchstick cut.
• 8 ounces of green cabbage, “angel hair” cut.
• 8 ounces of broccoli, sliced thin.
• 8 ounces of cauliflower, sliced thin.
• Half of a red onion, sliced thin.
• 12 ounces of corn kernels.
• 1 pound baby lima beans, fresh or frozen.
• 1 Texas beer.
• 4 garlic cloves.
• Juice of 1 lemon (about 2 tablespoons).
• 2 teaspoons of kosher salt.
• 2 teaspoons of freshly ground black pepper.
• 1/4 cup whole grain mustard.
• 1/2 cup basic barbecue sauce.
• 1/2 cup Texas olive oil.