Sounds like you got a good deal because someone else thought they had a bigger problem. The intercooler pump is a common failure. No big worries there. Even if you didn't have the warrantee, it's an easy DIY for around $130.