2 pork tenderloins (1 1/2-1 3/4 pounds total)

Beer-Marinated Pork Tenderloin with Red Cabbage