If they are, then the best approach would be to remove the rock from the DT and manually remove them with a scalpel. Just be sure to wear gloves, eye protection etc. I would recommend doing it outdoors. I wouldn't try trying to remove them in the tank. They can release a lot of toxins that can be very harmful to your system and inhabitants.