Yep! The would use a saw that often had a blade made of string, like a bow, but would but gritty, sandy water in the hole they were cutting to slowly grind it away. I think they would also use “dull” copper saws (don’t quote me on that one though)