Grilled Pork Tenderloin – Or Whatever You Do