How many city workers does it take to dig a hole?