Glad you get it done! With a lot of hard work since you don't use the specific tool for the task!
I buy a set of Starrett drive pin punch 20 years ago and never look back, they are a bit more pricy today ($45) but you can count on them to get the job done! I never have to use heat or penetrant lube to help remove a pin but if this ever happen I try the home brew mix of 50% ATF/50% Acetone first over any commercial brand.
Time is a issue for me so I avoid the hard way by getting the right tool for the job if possible without punching a giant hole in my wallet of course!
Starrett link for the same set I own:
http://www.starrett.com/metrology/pr...nd-Sets/S248PC