Our house came with palms planted by the pool. they wreak havoc on our filter and are growing out of control. I want them dead. They have incredibly tough roots, so far too tough for me to be able to dig them out. Round-up didn't hurt it.

Any ideas how I can get rid of it.