Yes, the inter cooler would be a bit pricey..... not sure about $3K though....
The pump is what you found for the factory Bosch.... you can upgrade to a Johnson CM30 for a little more...check Needswings or ebay....

The DIY replacement with either is pretty easy as mentioned.....