Should Plumbing Vent Pipes Be Covered