You are reading a single comment by @christianSpaceman and its replies. Click here to read the full conversation.
  • Thinking about it, you could work out the maximum hole size by practical means.

    Start by drilling a little hole, make it bigger in small increments until the house falls down, then just put the last bit you took out back in.

About