I'll second Bill R.'s opinion, that TF Marine pump is top notch. Very expensive, and lasts forever.
Replacing the original pump is usually done because fo the difficulty in parts sourcing. Diaphragm pumps are usually cheaper than other types of similar capacity. I have had poor luck with them--but have not used every brand by any means.
Charleston, SC, USA