The crew came back Monday to finish the dig. Apparently it normally takes 4-6 hours to dig an average pool (e.g. not a hard dig and probably more like 5-6 feet deep). It took them 8 hours the first day followed by nearly 15 the second day. The arrived with the sun and were finishing the job as it went down.
It is really quite a seriously big hole. For some perspective, Chris is 6 feet tall:
Here’s the video: