I've successfully fixed a badly dented head tube. That said, head tubes are open at both ends plus there was a fair amount of paint loss. Based on personal experience..... embrace it as a page in the bike's story and "fuhgetaboutit".
__________________
".....distasteful and easily triggered."