Has any one installed the Facet replacement pump for the BCD/Corona pump? Is it a direct replacement? If not, what are the modifications necessary to...