On Tuesday, June 9, 2020 at 11:45:42 PM UTC+8, Patrick wrote:
I have no explanation but why not hack the pins off from below and
replace them with new ones?

I put in some silicone lube, which freed 2 of them, but the last was stuck
hard. So I hard to cut it off from the other side. I have spare coolers in
the junk box, so not worth crying about.