Does anyone drain straight back to sump?? Or collect and dispose of??