Recipe - PC Cheeseburger Macaroni

This is sort of a knock-off of the cheeseburger hamburger helper I used to love as a kid!

1 large onion, chopped
1-1.5 lbs lean ground beef
1 qt beef or chicken broth, low sodium preferably.
1 lb pasta (rotini, elbows, or small shells I would recommend, but you can use others)
Small amounts of:  Ketchup, mustard, hot sauce, worcestershire sauce
8 oz block of cheese of your choice OR 2 cups shredded cheese (I used the Kraft extra creamy blend with cream cheese in it for this but I usually shred my own. I like a nice smoked cheddar.)
Splash of milk
2 tbps butter

Brown onion and ground beef on Saute mode.  Turn off pot.
Add broth, pasta and squirt a little ketchup, mustard, hot sauce, worcestershire sauce in. Stir well.
**If the broth does not completely cover the pasta, add water until it does! **
Look at the back of the box of pasta.  Whatever it says for how long to cook it, set the pot for half that time.  High pressure.  (For example if it says to boil it for 10 minutes, set timer for 5 minutes.)
Lock the lid, set valve to closed and press start.
While it's cooking, if you are using block cheese, shred the cheese.
When done, wait 5 minutes and then open valve to release the rest of the pressure.
Open and splash in a bit of milk (maybe 1/4 cup?) and a couple TBSP butter and stir.
Add cheese and stir well until melted.