Drilling, ducting, … damaging? The ground collapsed and it cost $250,000 to repair – but was there any actual damage?