“What diameter is the included drain hose? My plumber wants to know - the machine hasn't been delivered yet.”