How Deep Should a Pool Be?