J (23 Aug 2003 07:21:51 -0700):
Aside: How long should this sort of pump last, running 24/7? Looks
like 5 years is what this one managed, it being 8/23/04 now.

I'm worried about you, Jim.

--
'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`'`''`'`'`'`'`'`'`' `'`'`''`'`'`'`'`'`'`'
SLOTHEAD