Should you tenderize beef tenderloin?