Gil, would the Bosch 0392020039 pump work without changing the water ports? Just wondering because I have the same issue and don't mind purchasing a pump for $85 vs. $300 if it's the same part... Thanks!