What do the members here use to protect the pump? last year I flushed the water out w/ rv type antifreeze and left it filled with same. I now see there's a B&S pump saver product. Is this any better the either rv or automotive af? Both these products do "lube" the water pumps.