@DaveK - thanks for your reply. The pump you're referring to in the link is the one I have. I own a C-130 which is newer than the 130D. I read (somewhere on the net, don't remember where) that the standard pumps supplied are working great, but produce much heat, hence the question. I still...