Good point, and it is true. Around here it would take 10 shovels, but 12 men, 9 to lean on the shovels, 1 to do the digging, then 2 to go get the coffee and donuts, one to drive the truck and another one to go on the ride, then a 2 hour break, by then it is lunch time, another hour break. not...