I've been reading up on the various methods people use to fix a dented top tube and te one I never come across seems the most obvious: Drill a small hole and pull the dent with a hook. Why not? Small holes are drilled in the top tube all the time for internal cable routing and cable guides, so it seems strength loss isn't an issue.
Any comment from the builders? You guys are certainly holders of the final word.