What do you use to lube pool cover anchors when you open/close the pool? I know this has been discussed and the general consensus has been to lubricate them (either wd40, general silicon spray, pool lube for o rings as wel). But I haven’t seen anti-seize specifically being recommended. Any particular reason why? Sounds like a minor thing but I don’t want to deal with the nightmare of digging out stripped or stuck anchors this year.