I gather more information on the pumps. A few years ago there was a fire drill that took a lot of water, they told me that the two pumps stopped runing when the water level got too low. There is another pump, build by portuguese company EFACEC, with a different kind of design that runs quite...