Pressure Cooker Macaroni and Cheese

Recipe here: https://www.dadcooksdinner.com/pressure-cooker-macaroni-and-cheese/

My pressure cooker: http://www.amazon.com/Instant-Pot-IP-DUO60-Programmable-Generation/dp/B00FLYWNYQ/?tag=dadcoodin09-20

My pinch mitts: http://www.amazon.com/Instant-Pot-Silicone-Mini-Mitts/dp/B00V84WH9E/?tag=dadcoodin09-20

My -silicon- silicone spatula: http://www.amazon.com/gp/product/B00BJT608W/ref=as_li_tl?ie=UTF8&camp=1789&creative=390957&creativeASIN=B00BJT608W&linkCode=as2&tag=dadcoodin09-20&linkId=SEIHKXSAHRYOV35C