Anyone made pulled pork in a pressure cooker? If so, do you have a recipe you wanna share?

This is the one I'm thinking of trying:
http://www.pressurecookerdiaries.com/pressure-cooker-recipes/dinner/how-to-make-pulled-pork-bbq-pulled-pork-recipe-in-a-pressure-cooker