What should be done with the faucet?