Back in the 'real world' of PC forum. What is the best diameter tubing to have for effecient sink draining?