Tip: If you have a drip hose like that on anything, put a plastic bottle on the open end (re-openable zip-ties work to attach them) instead of just letting it end in the bilge (or wherever). This way not only everything gets caught, but you also see at a glance what exactly has been dripping.