I remember seeing something about this, but can't find it now! I am going to redo the surface of my concrete pool deck with the Rustoleum Restore product. I know I've see somewhere that the anchors for the safety cover should be lubed for the summer so they will easily come up in the fall. My question is..with Vaseline or pool lube or WD-40? I want to do this before I use the Restore because I KNOW I will accidentally get some of that in one of those, no matter how hard I try!