text:  And what they'll do is usually in the basement, they'll drill a hole and install a pipe in that hole so they can pull the gas off from underneath the slab and then vent it outside with the help of a fan.