We are completely renovating our house. In our butler's pantry, we would like to add a 15" ice maker that needs either a pump or a gravity drain. Given we have the ability to put in a gravity drain since the house is down to the studs, I feel like this is the best option as pumps are more expensive and make more noise. I am getting a lot of push-back from our builder who says his plumber doesn't want to put in a gravity drain because they can be trouble. Does anyone have any experience with a gravity drain or had a problem with one? Thanks for any information you can provide!