Pulled Pork with Tangy Barbecue Sauce

Name: Pulled Pork with Tangy Barbecue Sauce
Prep time: 20 min
Cook time: 375 min
Total time: 395 min
Yield: 12
Ingredients: For the Pork:; One 5- to 6-pound bone-in pork butt (sometimes called Boston butt; see note); 4 teaspoons salt; 1 tablespoon paprika; 1 tablespoon ground cumin; 1 tablespoon garlic powder; 1 tablespoon dry mustard; 1 tablespoon dark brown sugar, packed; 1 teaspoon freshly ground black pepper; For the Tangy Barbecue Sauce:; 1 cup plus 2 tablespoons ketchup; ¾ cup cider vinegar; ¾ cup dark brown sugar, packed; ¼ cup plus 2 tablespoons spicy brown mustard; 2 garlic cloves, minced; ½ teaspoon cayenne pepper; ¾ cup water, for deglazing the roasting pan; For Serving:; 12 hamburger buns (lightly toasted and buttered, if desired)