I've been given some fresh broad beans and I've podded them, but they are pretty large and will probably be tough. Any ideas please, of ways to cook them to make them reasonably tender without the faff of actually peeling them - life's too short!