Dunno if it changes anything, but user224 posted this link elsewhere in this discussion, and it says the pipe was 30cm (almost a foot) in diameter – I’m no expert, but the photos in this and OP’s article seem to show an opening about that size to me. I only mention it because that seemed uncommonly large to me.