If it was me, I would mix up some bondo and apply it to the inside of the roof with the dent popped up. It will need to be at least 1/4 inch thick. Once the bondo hardens it will stay up. This way there is no damage to the exterior paint work. Replace the headliner and know one will know.....Phill