Pork Chile Rojo (Pulled Pork with Red Chile Sauce)

""My grandmother called this recipe 'Pork Chili Verde' when she originally told me about it. But...it's red, not green. I'm not sure if she saw a recipe that called for green salsa and she put in the red or if it was really called something else. Whatever the story, I've made it a couple of times now and absolutely love it. It gets better every time! Slow cooking the roast in an oven roasting bag makes the meat so tender! Serve the pork with tortillas or hard taco shells."..."