John T wrote:
Oh, we have the tooling to cut a long hole, called a gun drill. You see,
the problem is that lubrication for the drill comes out of the tip of
the drill, under high pressure. So whaddya think happens when the drill
breaks out of the end?

About the same thing it does when you're drilling a gun barrel. Unless maybe
you're making muzzle-loaders?

George Patterson
Coffee is only a way of stealing time that should by rights belong to
your slightly older self.