Pork Tenderloin Doblados Dec 31, 1999 INGREDIENTS:3 cups soy-lime marinade (recipe follows) 8 lbs. pork tenderloin 48 white corn tortillas (7-inch) 12 cups pinto bean sauce (recipe follows) 6 cups prepared salsa verde 3 cups prepared salsa crude 3 pounds...