There was a thread on this that seems to have dropped off now. I have a question: does it have to be the actual brand instant pot or are there other machines that do the same thing? thank you!