Cooking Small Pork Tenderloin