Another ID request

[blasterman]

I had a piece of rock have three mushroom hitchhikers on board. Red, purple discomas and the blue green spotted. They all play nice and arent outgrowing their corner too fast. Curious what the blue / green ones are called.

 

[Timfish]

I've always known them as "Watermelon" mushrooms.