Good advice.
Those are fairly common around here. I go hunting mushrooms in the wild and I found (but did not even touch) about a dozen death caps last season.
I read about a few poisonings with mushrooms last year. The victims did not have much experience and did not consult an expert with their mushrooms. Around here there are experts who offer free identification in advertized hours. They may toss an entire batch in the bin if they find anything suspicious, unidentifiable fragments or definitely poisonous.