What has happened to the pool next to the dolphins? There have been two pools for some time (in the old snorkeling pool). Has this one closed?   Also is the new pool big or small? Is this the adult only, next to the flowrider? I am surprised there haven’t been more reports and photos posted of the new facilities. It doesn’t seem to have generated much interest or excitement.