grill the chops until charred, 3 to 4 minutes per side. (press the middle of a chop with your finger: it should be slightly firm with a little give for medium-rare doneness.) transfer to a platter and brush with some of the remaining mint oil. sprinkle with mint and serve with more mint oil.