Does anyone know the splash well drain tubes size?