I still have a dried specimen that I found last year. I found another agaricus in the same spot just today, but it is much different and smells of phenol and I believe it to possibly be agaricus xanthodermus. As I result, I am beginning to doubt my find from last year being crocodilinus. Please check out the photo below and tell me what you think. Dried specimen (of which I don't have a photo to post here) is deeply red/orange on the stem and did not smell badly, at least not in the way this new mushroom I found today did (the one I believe to be xathodermus).