*dried crushed red pepper can be substituted for the fresh hot pepper. I'd use a pinch.
**Beef stock can be substituted for wine.
Note:1 If you are using a separate saute pan begin warming and add oil at the same time you start the Instant Pot. Brown ground meat in saute pan, now add garlic and cook for a minute or so. Add to Instant pot prior to Step 8.