My brother has been fighting these for a long time. What's the best way to get rid of them without tearing down the tank? If that's possible. If not will pulling the rock out and letting it dry out kill them or boiling the rocks? Thanks for any advice!