I read that it 's a frequent issue and the problem is the Inter Cooler Fluid Pump (Bosch). I am looking to change it but the Chrysler dealer is asking $1100. for a new one. Isn't there a Johnson Pump available on the market for a cheaper price and where should I get it? Appreciate your reply.