After four days of cold showers the hot water is back on again! And yes, this model is exactly the same as the one installed 5 years ago, but I don’t care. As long as it works. One less thing to worry about. This time I was very careful after mopping up when everyone left 😉