Beef Noodle Soup

1.In a medium pot, fill halfway with water and bring to a boil. Add beef shank and boil for 7 minutes. Drain and rinse beef, then set aside.
2.In your Instant Pot hit the saute button and make sure it's on high then add oil. Once oil is heated add garlic, ginger, 3 green onions cut into 1-inch pieces, onion, dried chilies, and cinnamon stick and saute until fragrant about 3 minutes.
3.Add beef, chili bean paste, sweet bean paste, and beef bouillon and brown for 3 minutes. Add soy sauce and cook for 2 minutes. Add tomatoes, rice wine, carrots, and rock sugar then hit cancel on Instant Pot. Add 7 cups of water.
4.In a stock bag add fennel, peppercorns, star anise, and cloves. Then add to the Instant Pot. Give everything a good mix. Hit meat/stew button and set for 40 minutes.
5.When done, let the pressure naturally release for about 1 hour. Skim the oil off the surface of broth and discard. Discard cinnamon stick, spice packet, chili and ginger pieces. Taste for seasoning and adjust as needed.
6.In a medium pot boil you choy for a few minutes until softened. Add noodles and prepare according to package instructions.
7.To serve, add noodles to each of the bowls then top with you choy. Pick out pieces of beef and add to each bowl. Ladle broth on top of noodles. Top with pickled mustard greens, 1 whole green onion chopped and cilantro.