Another way to do this is to drill a small hole in the center of the dent and then get behind it with a pulling tool (has a small hook at the end) or a slide hammer with the correct attachment and just pull it out, then weld the hole shut. I did that for years before I invested in a stud welder.
