Amanita pachycolea, D.E.Stuntz (1982)