“How long is the venting hose?”