How do I cook a Smithfield rotisserie pork tenderloin?