Would it be easier to remove the post first?
If I were doing this (not that I'm an expert) but if the pushing it out with a longnose pliars and oil didn't do the trick - I would think about removing the post from the horn - and placing on top of my vise (perhaps with some brass blocks or something) and tapping it out with a punch or a junk spring.
Removing and replacing posts are easier than repairing dents in my world..
If I were doing this (not that I'm an expert) but if the pushing it out with a longnose pliars and oil didn't do the trick - I would think about removing the post from the horn - and placing on top of my vise (perhaps with some brass blocks or something) and tapping it out with a punch or a junk spring.
Removing and replacing posts are easier than repairing dents in my world..
