We just made the Greek lamb shanks again, and realize that the cooking time in the slow cooker on “high” needs to be 6 hrs, not 4 as I originally had in my post. Sorry!
Also you can cook this recipe in a Dutch Oven for 2 1/2 hours with great results.
Thanks for your forbearance. (<*