Ah, thanks. These are clearly the right ones because none of us have had any ill effects. LOL
As a matter of fact, one of my Dad's workers, years ago, when I was about 9 or 10, could identify edible mushrooms and from about August to October we'd have fresh, foraged mushrooms. Delicious.