Wow, that makes you wonder what other things get drilled through when they're putting cable and smaller bore piping in.
It does, doesn't it? These mini-boring machines have been widely used in the UK over the last couple of decades to put cable TV and internet into villages, many of which have histories stretching back to pre-Norman times and even pre-Roman - some types can, apparently, bore through rocks, so they may have been through millions of artifacts!
Wow, they were advanced! Too bad we can't say the same.