I was wondering what auto top offs you guys are using? Are they gravity fed or are they fed with a pump, what are the pros and cons of each. I'm looking for one for my 350 gallon tank and was wondering which ones are the most reliable and less prone to failure. I think I want one with two floats for redundency. Any advice would be appreciated, thanks.