I just pulled my pump to inspect it and used the XPS pump grease I picked up from the dealer.
I am sticking with the OEM stuff because it is not expensive.
Just need to change the oil now and I will be ready for my first start of the season shakedown run.