Pressure Cooker Pulled Pork Sandwiches

I love pulled pork. I really dislike waiting hours and hours for it to be ready. Pressure cooker to the rescue!! This recipes puts delicious sandwiches on the table in less than 90 minutes.
Pressure Cooker Pulled Pork
1 3-4 lb bone in pork butt
1 onion, chopped
3 cloves garlic, minced
2 T olive oil
Seasoning for rub: cumin, cayenne, paprika, salt, pepper
3/4 c water
1/4 c cider vinegar
1 1/2 c bbq sauce
Buns, for serving

1. Cut the pork butt into 3 large pieces.
2. Generously cover with seasoning and rub to coat the pork.
3. Using the pressure cooker's sauté setting, heat the olive oil.
4. Brown the pork on all sides, about 10-15 minutes, turning often.
5. Add the onions and garlic and sauté for the last 5 minutes of browning.
6. Add the liquid and cook at high pressure for 60 minutes.
7. The pork is ready when it pulls apart easily with a fork.
8. In a separate bowl, shred the pork with two forks.
9. While shredding the pork, you can reduce some of the cooking liquid in a small saucepan to thicken.
10. Serve over buns.
Makes 6 sandwiches.