Has anyone repaired or replaced the galley faucet? where did you get the parts or what brand did you replace with? Thanks Bill Flying Goose 324