PS: Use of incorrect grease (or none, or dirt) will

also make inserting the pins extremely hard...

OK, I stand corrected. I thought mine was aluminum. It must be a very hard plastic.
Dave, what is the "correct" type of grease to use?