Beef Shank Noodle Soup

This dish came out delicious and even DBD liked the soup broth. I substituted garlic for onion.
6/11/22 Made this again, this time with MM, delicious as ever.

• 
  1 T oil
  
• 1 carrot, sliced
• 1 garlic, minced
• 1.5 c water
• 1 c beef braising liquid from shank recipe
• 2 T ketchup
• 3-4 servings of wheat noodles (ramen, udon, etc)
• broccoli pieces (or Chinese greens)
• braised beef shank, chopped
• salt
• optional: white pepper, pickled radish, chili oil, cilantro

1. Heat oil in pot over medium-high heat. Cook the carrot for 2 min. Add the garlic. Stir to prevent burning and cook another minute.
2. Add the water, braising liquid, and ketchup. Simmer for 10 min
3. In a separate pot, cook the noodles. When done, rinse with cold water and place into serving bowls.
4. Cook the greens in the same pot for about 1-4 minutes (to desired consistency). Place greens in serving bowls.
5. If the shank is cold, add it to the broth to warm it up for minute.
6. Taste the broth. Add salt and white pepper as needed. Pour into the noodle bowls and add beef pieces and optional toppings.