Fixing a drippy Jandy pool valve