Interesting - spoke to dealers and asked if this is right. 3 pumps in 3.5 years - almost one per year! I was told that yes, generally that seems correct and that if they get any water on them they fail and that they will order me one - to come out of my pocket again...
Now for a top of the range...