Pork tenderloin off the grill, twice baked tators