[justincormack]

Most of the early ones were "cut and cover" and quite big, rather than bored. And there is little difference in the sizes of the tunnelled ones.