I also made some frame blocks to take out the largest dent, which was in the top tube.
Luckily it was easy - someone had a 1" drill bit. In retrospect I should have gone 1/64" undersize and then reamed it out, but oh well. They removed the dent pretty well, and then I filled it with bronze. I think I got the thing hot for maybe 30 seconds. Terrifying. My Ron Cooper has a couple spots like this that I found when I got the paint redone.