Someone put a nice dent / crease into the side of my Forte when on a ferry in Sicily last year. I haven’t had an estimate for fixing it but I guess it will be expensive, particularly as it will presumably involve disassembling much of the kitchen area inside to get at it. It’s not prominent and I was wondering about leaving it and taking some hit on resale. How does the balance work between cost / loss?