Do you eat the whole pickled okra?