I have not tried it, but I have most of his books. Which one is it in?
BTW, my favorite way to eat okra, besides in gumbo, is either stewed with tomatoes and onions, or pickled. Hot pickled okra, pickled with a few serrano or jalepeno peppers is a great way to preserve and enjoy okra as a snack all year round.