Try a bunch of camel shrimp. They're the green-eyed humped-back shrimp often sold as peppermint shrimp, and I've heard they'll eat mushrooms.
A pincushion sea urchin would probably tear them all up.
Or you could admit defeat and gradually trade the 'shroom rock for store credit, then use said credit to get more rock.