I have recently had a 80 US gallon electric water heater installed. After installation, I noticed that there was a large dent in the top corner of the water heater. My plumber has said that it is a dent in the outer wall and that the inner wall would not be damaged. I am looking for a professional second opinion. Should I be concerned about this dent? Thanks in advance!