I feel your pain (literally). One got jammed up under my thumb nail and created an infection that I had to pop with a needle. Totally disgusting.
I also had a pretty large infestation, but got mine under control with manual removal. I'm sure you're already doing this, but if you're not, get a scalpel blade and make sure that you pop the entire base of the snail off the rock. If you're just smashing the tube, that won't kill the snail. After you pop the snails off, they will fall to the sand bed, where they can be vacuumed up. I do this before every water change. I still have quite a few on the underside of rocks where my scalpel blade won't reach, but they are almost gone from the main viewing areas.
good luck