I'm saying with 94.86% certainty that it's the IC pump.

A relatively cheap fix, should you elect to do it yourself. But if they'll fix it without breaking something else, go for it. Just be aware the replacement they use won't last forever either. Most upgrade to the Johnson CM30