A dripping faucet is one of those small annoyances that’s easy to ignore. The sound fades into the background, and…