What's the best way to prepare ham shanks? I snagged some locally grown green beans and red potatoes and want to add some rich hammy flavor but I'm not sure how to prepare the shanks. Can I boil them with the vegetables? Should I cook them separately and shred the meat? Suggestions would be appreciated!