Talk:Sinking pool

Official name
Is "sinking pool" the actual name given by the creators, or is it just a conjectured name?Ultrasonic9000 (talk) 18:22, February 9, 2014 (UTC)