tom wrote:
Plumber's grease will work, or silicone. You'll have to pull off the
arm to get to the o-rings. Tom

O.K. Thanks much (but I was afraid I'd have to do some real work. LOL).

Have a plumbing and electrical supply store near me, so I suppose
they'll have the grease.