I am considering one of these filters, vs. a few others, but one thing is the size of this thing. I know its huge but would anyone that has one give me a rough size of this filter (dimensions). it is posted online that it is 16" in diameter and 17" high. the height is fine but to me 16" diameter seams very large, is this the diameter of the "lid" or is it including the lid and the pump that sticks out the bottom. I don't know why the real dimensions weren't posted on their website... it obviously is not perfectly round with the pump sticking out the bottom haha.