“What size diameter is the extension pipe”