Need to replace a Jandy 3 port diverter on a Space Saver Jandy valve. Salesman is telling me that all Space Saver valves have the NEVER LUBE diverter in them? Is that true? Seems to me this Jandy valve is older and perhaps installed before they ever had the NEVER LUBE ones available. Of course the NEVER LUBE will be easier to maintain but just want to make sure I am being given the correct info and not being sold something more expensive than what I really need.