For a short time, when I was maybe seven years old, we had this very dishwasher. I remember that the top was not porcelain; it was painted, and when the dishwasher had very hot water in it, the top got hot, too, and the paint softened. Someone in the family cratched the top when it was running...