In a toaster oven or pan toast all the spices until fragrant. Place all the spices in a baggie.
This is an optional step. Soak the beef in a salt brine for 30 minutes and strain the meat so it is dry. Boil water in a large pot and parboil the beef. Let it boil for 3 minutes. Strain in a colander and rinse thoroughly to remove any impurities.
Turn on sauté mode add oil and brown the meats. Add the onions, green onions, ginger and garlic and sauté for 5 more minutes.
Add the chili bean paste, and tomatoes and sauté for 3-4 minutes.
Add the soy sauce, rice wine, Thai chili, 5 spice powder, bay leaves, rock sugar, water and the spice pack.
Cook on high pressure for 1 hour 40 minutes and natural release.
When the Instant Pot is done cooking at 1 hour 40 minutes start to get the noodles and shanghai choy prepared. Boil a pot of water and cook as per the instructions on the noodle package.
Cook the shanghai bok choy in water for 3 minutes or until your preferred doneness. If you prefer shanghai bok choy to be well-done cook it for longer.
Prepare the noodles and ladle the beef shank and soup and top with shanghai bok choy, green onions and cilantro. Enjoy immediately.