I need some advice on a repair. My car got hit and left a dent in the driver side door. The dent itself isn’t too bad, but it caused problems with the window rolling up and down, so I took it in to get the dent pushed out a bit so the window regulator had room to work. However, the car repair guy told me that I would still want to replace the whole door since the window seal is compromised and it could let water in and cause rust. Looking at the window, my boyfriend and I didn’t see any gaps that would let water seep into the panels, so I’m wondering if I actually need to replace the door. Advice?