Hello all, just bought a house with a pool a couple of months ago, and finally got the pbv and plunger replaced on the autofill, so that it works. Upon inspection of my works, I found this- a drip from the top of the plunger. Is this normal, or is it broken? Given that it’s a 17.5k gallon pool, do I even care? Please let me know if/what I should do anything, or just be happy I don’t have to manually fill the pool anymore! Thanks!