温泉プールには必ずある脱水機。