https://www.dadcooksdinner.com/pressure-cooker-macaroni-and-cheese/
This is what I use. I don't use evapourated milk because I can't stand the stuff, I use regular milk. The cheese i use is made by MacLaren and is called Imperial Cheese. It comes in a round red box. It is a processed sharp cheddar which blends in nicely and doesn't leave oil slicks. Also, I halve the recipe and it's enough for the two of us.
Here is a picture of the cheese container.