Root Beer Pulled Pork Sandwiches in the Pressure Cooker

5- to 6-pound bone-in pork butt/shoulder roast

envelope dried onion soup mix*

Salt and freshly ground black pepper

root beer (I used Mug)

barbecue sauce, divided

regular-size hamburger buns, your favorite kind