When this product arrived and was installed, it did not work. The installer came back, and said installation was fine, call GE repair. So we did.  The GE repair man identified that the water pump was broken.  He order one, it came, another GE repair man installed it yesterday.  Now it works.  However, we are not happy to have gotten a broken machine. I assume this is a rare occurrence.