Okra Seeds

I need more options to know what to do with Okra seeds. They were shelled from large still green pods that were too woody to use. Only use I have been able to find for the seeds is to roast them, grind them, and use them to make coffee. Do the seeds get hard and woody just like their pods?