has anyone replaced the faucet in the head sink recently? What did you use?