Yes you are right with Redlead Roundhead for the reddish capped ones. The others are an Agrocybe sp - the commoner one in my area on woodchips is Wrinkled Fieldcap, A. rivulosa, but yours look more like (unseasonal) Spring Fieldcap A. praecox to me.

Thank you very much! My app (Picture Mushroom) came up with spring fieldcap but I dismissed that for being out of season 🤭I guess the weird weather has mixed things up.