I snapped these pics today of some mushrooms growing in the turtle pen, not positive on what they are exactly.

I think these are alcohol inkys'? it matches up pretty well to the description I have

these may be red cushion hypoxylons but the description of the habitat doesn't fit these as the log has no bark.

I'm not sure if the adults have been feeding on the mushrooms or not, last year they let the 'shrooms age before eating them.