I have a 2007 supreme, and it uses 2 jabsco water puppy pumps for the ballast. This weekend one pump quit working model # 18220-2123 and I couldn't find a new one on line, probably an updated model number by now, any ideas if these are good pumps or another pump thats good?