Drills were used that turned 500X faster than today's power drills
We know this to be a fact because such is clearly printed on the nameplate of all of those drills that were dug out of the sand. If that isn't enough, just read the manual chisled into a nearby rock. < /sarcasm>