I’ve had them for lots of years and they’re thick and hardy, as result what is the ideal tools to cut them down to the soil?