Well, the holes were eventually going to be for planting a tree (here (http://web.mit.edu/boojum/Pix/Trips/Xmas2008/tn/IMG_4449.JPG.html)). I think digging holes in the yard is still allowed anyway, though. But their little shovels probably wouldn't get quite so large holes.