Musk has stated that Gary (the snail) is 14 times faster than (Godot), his tunnel boring machine. Which means that they are proceeding at 0.071 times the snail's pace. So they are currently boring at 71 milliGarys, where a milliGary is 1/1000th the speed of Gary.
This gives us a convenient...