Thanks!!!

I'm not sure... I think I've seen them before but those coral mushrooms are sometimes quite orange, too and I didn't even know there's a difference between them and those before making this post...