Must check out the timer on my '56 and see.
Jon, you mean you don't have this machine connected and in use occassionally and not know that little tidbit? Ours didn't quite empty out all the water when it paused, it coassted down to a stop and still had a little bit of water in it at the bottom. Maybe it had something to do with sediment settling and the ejector tube, if GE had one.