My goodness! That's a lot of great info.
I just bought some fresh (but mature) fava beans from the farmer's market today. I guess it's safe to just add them to the other veges I'll cook them with without any problem.
This was timely information, thank you so much.