Manual removal via traps, for months, can eliminate them without boiling or wrecking the tank. They are classic invasives, reproducing quickly. In my view, there are no positives to them in an aquarium.They live around a year and tend to die while buried in the gravel. Over a year, 100 of these pests can affect your water quality in a slow, dragged out way. I suppose if you have a Malaysian biotope tank, they would fit, but otherwise, they have no contribution to make and do a lot of harm.
If you want your gravel turned over, get a stick.
If you introduce a predator, they can be eliminated, but then you have a pet predator with no prey, and a responsibility to take care of it.
Part of what makes them such a disturbing pest is the effort it takes to get rid of them. Pond snails take weeks, but trumpets, alas, need months. A few months ago, I talked about how an extreme chilling of my gravel during a move had eliminated these pests, but recently, I saw one. Luckily for me, the water at the new house seems too soft for them to maintain their shells, and they don't seem to be thriving. But they are a scourge - the shelled cockroaches of the aquarium world..