In the owners manual and other publications, the pump pictured appears to be the Bendix "Red Top" interrupter type. One inlet on the bottom, on outlet...