Is @8524 OK? Haven't seen the faucet drip in a few days.