Pressure Cooker Stock!

We have been making homemade turkey and chicken stock with the new appliance.  It is so easy and delicious!
I bought a rotisserie chicken at Costco, pulled the meat off and threw the skin and bones into the pressure cooker pot with some other veggies and voila, delicious stock for soup!
The turkey carcass and bones were too much, so I split it into two batches.  Here's how it's done:

1 chicken or 1/2 turkey carcass and bones (skin too, for flavor)
3 bay leaves
1 onion, cut in quarters (no need to peel)
3 carrots, cut into 3 inch chunks
3 celery stalks, with leaves for more flavor
6 peppercorns
1 tbsp cider vinegar
12 cups water

Add all ingredients listed above to the pot, making sure to not fill the unit past the line for pressure cooking (ours allowed 12 cups of water to be added).
Set the unit to 55 minutes.  Start.

Let the unit release the pressure/steam naturally and then strain the veg and bones out of the stock.
I put the bowl of strained stock out on my screen porch to let the fat harden on the top, to skim it off easily.

Store in canning jars or double ziploc bags in the freezer.