Re: Ic Pump ?
I dont know if atr sells one ( I have never heard of them selling one) but your option are a jabsco, johnson, or shurflo. they run in price from 50-125 bucks.
I am running a shurflo pump, it was 50 bucks shipped, but the only problem is you have to modify your mounting bracket to work with it as it is big, I would say it is the best one and modifying the bracket is worth it, but it is the only aftermarket i ahve ever used, so i dont know about the other 2. dont be afraid of modifying your bracket it is very easy and there is a good write up on the archives I believe.
you can do a search for it, and get a lot more info.
HTH