I like Davids path but would use 4 or 5 washers spaced around the deepest part of the dent and pull out as I worked around the perimeter.
Your cut and weld approach would work too but I think it would take longer and be way more frustrating trying to weld overhead.
