In a pressure cooker, heat for a few minutes and add a bit of oil.
Brown shanks quickly
Add wine and deglaze
Add broths veggies and flavorings including butter buds
Cover and bring to boil (when steam starts)
Lower and cook for 60 minutes or so
Turn off and place on a cool burner
After 10 minutes de-pressurize cooker under cold water and when you are sure all steam is out, remove lid.
Strain into colander over clean soup pot and bring broth to boil add orzo following the cooking directions.
Remove marrow from bones and cut meat, carrots and onion into fairly uniform pieces. Heat marrow and mix with bread crumbs to form small balls dropping into orzo/broth when boiling. They will rise to the top.
When orzo is done, remove from heat, replace meat carrots onion and garlic.