[mickyfin]

You could cook the rocks, but that's way overkill for this issue I think.

If you're really desperate - remove the rocks to another container with saltwater and use a scraper to scrape as many tubes off as possible. Give them a good rinse after so you don't introduce much decaying organics intot he tank after...