Grilled Pork Chops with Cherry Tomatoes and Garlic Butter

4 tablespoons (1/2 stick) butter, at room temperature
1 clove garlic, finely chopped
1 teaspoon fresh thyme
4 1-inch-thick bone-in pork chops (about 2 1/2 pounds)
Kosher salt and black pepper
2 pounds cherry tomatoes

Heat grill to medium-high. In a small bowl, combine the butter, garlic, and thyme; set aside.
2.Season the pork with ½ teaspoon each salt and pepper and grill until cooked through, 6 to 7 minutes per side. Meanwhile, divide the tomatoes among 2 pieces of heavy-duty foil and season with ½ teaspoon salt and ¼ teaspoon pepper. Close to form 2 pouches. Grill the pouches alongside the pork, gently shaking occasionally, for 8 minutes. Top the pork chops and tomatoes with the garlic butter just before serving.

source: Real Simple