I've done some searches and I've tried to find some kind of distinguishing characteristic or labeling on the water pump itself, but came up empty. Anyone know what kind of pump came with this kit? Or a suitable replacement? Mine seems to have failed. Thanks!