Making Egyptian Drill Holes: Lost Ancient High Technology

The experimentalist Nikolay Vasiutin copies the ancient Egyptian technology of granite drilling: a copper tube and a grinding agent (corundum). Evidence of ancient machining?