Goal: instant pot beef in marinade

Which of the following methods is more reasonable for accomplishing this goal?
Add steak/beef and marinade to the bowl of Instant Pot. Close lid securely and set vent to "Sealing". Press "Manual", then press "Pressure" until the light on "High Pressure" lights up, then adjust the +/- buttons until time reads 35 minutes. Cook. Then very carefully, turn the vent to "Venting" for quick release, and wait until all of the steam has released and the valve has dropped. Remove the lid, shred the steak/beef if you'd like. Serve immediately.