“What’s the size/diameter of the drain hose? I need to order a replacement.”