You need permits to dig a tunnel in Herndon (VA), so it’s not illegal. Similar to any major construction on your home. She didn’t secure them beforehand.