M: Three quarter inch, thoroughly marinated pork chops on a grill. How long for each side to get it thoroughly cooked, do you think? Just give me a rough estimate.
G: For a ¾-inch pork chop on a reasonably hot grill (roughly 400–450°F), a good rough estimate is:
So 8–10 minutes total is usually in the ballpark.
A marinade can make the outside brown faster, especially if it contains sugar, so don't be surprised if it looks "done" before the center is.
If you're aiming for modern food-safety recommendations, pull them at about 145°F internal temperature and let them rest for 3 minutes. If you don't have a thermometer and you want "thoroughly cooked" rather than slightly pink in the center, you're probably looking closer to the 10–12 minute total range.
If they're bone-in, add a minute or two. If they're very thin supermarket chops, subtract a minute or two.
For what you've described—¾ inch, marinated, typical grill—I'd start checking them at 4 minutes per side and expect them to finish somewhere around 9–10 minutes total.