For instant pot, select Pressure Cook and 50 minutes. Seal. Make sure the knob is turned to “seal” and not to “vent.” The pressure cooker will take some time to come to pressure, and then the timer will start to count down. Once it has beeped, you can either allow the pressure to release manually (which I think results in more tender meat, but it takes longer) or you can turn the release valve to “vent” to do a quick release. Do not put anything in the way of the steam as it vents as it is VERY hot steam! When the pressure release valve has dropped completely, then open the lid. Pour out excess liquid into the sink. Shred with 2 forks or even just with a serving spoon. Add BBQ sauce if desired.