Anyone know what kind of mushrooms these are?
No mycologists out there?
@marydavis This might be a case where hashtags are useful to get a wider audience. Hell if I know what hashtags mushroom mastodon uses though.
@marydavis @kingrat @skinnylatte is an amateur mycologist. And I think the hashtag is #mushtodon
@BruceHalperin @skinnylatte Thanks, Bruce! @skinnylatte do you know these?

@marydavis @BruceHalperin hard to tell without looking at the gills and stem.

Try checking here or asking on /r/mycology on Reddit, and definitely include info about where you found it and what plants were near it

https://ultimate-mushroom.com/red.html

81 Red Mushroom Identification With Pictures

List of red mushrooms with descriptions, photos and other interesting information.

Mushroom Identification - Ultimate Mushroom Library

@marydavis I found similar mushrooms growing in a similar habitat, identified by iNaturalist community as "chip cherries".

https://www.inaturalist.org/observations/127960125

Chip Cherries (Leratiomyces ceres)

Chip Cherries from Dindigul, IN-AP, IN on July 24, 2022 at 10:10 AM by Harshad Sharma

iNaturalist
@harshad Oh, thank you! I need to investigate a little closer and look at their underbellies. But those look very close!
@marydavis I vote for Scarlet Waxy Caps (sometimes called Scarlet Hoods). https://www.inaturalist.org/guide_taxa/79639
Scarlet Waxy Cap (Higher Fungi of the San Francisco Bay Area) · iNaturalist

iNaturalist