Hello smoking gurus! I had a half day today with my daughter, and I don't have the kinda time that I would like, but I'm thinking this will work. I have a 4 lb pork butt roast that dry-brined with my own rub for 24 hrs, and have enough time (already going) to do 4 hours in the smoker with A LOT of smoke flowing, and then thinking 15-20 minutes in my Instant Pot. I already tried an identical roast in the instant pot, which the wife adored, and was good, but totally missing the smoke flavor (aside of that from the smoked paprika in my rub). Anyone done this or similar? I apologize to all of the "use the search function" diehards, but I have a rambunctious 5 year old "princess" occupying much of my time, and I'm on my phone.