This Pork Carnitas recipe may be the same they serve in their hot dinner bar, and that is FABULOUS. Usually served on corn tortillas with pico de gallo, I hear. I usually eat it with roasted garlic mashed potatoes.
Stir pork pieces around in garlic, jalapeños, cumin, salt and pepper, then saute in olive oil at medium-high until lightly browned on all sides (about 10 minutes).
Transfer to roasting pan and add juices and chicken stock, cover tightly to retain juices while cooking, and bake for 2-2.5 hours, until meat is very tender. (If juices cook out, add more chicken stock.).
Allow to cool so pork absorbs remaining juices, pull apart with a fork.