I've been out of the mushroom stuff for a while, but someone gave me a rock of red mushrooms today, and the last time I had them IDK... they seemed... less bumpy. Does anyone know if these have a name, or if they're just another kind of common red mushroom? Thanks in advance!