Oh no, I’m not doubting that, but I know enough do. So I don’t want to come across as authoritative on that point.
As someone who generally doesn’t like okra, I usually avoid it. There’s a Filipino restaurant near me that makes a grilled okra dish that was surprisingly good, and I’ve learned...