Is the outdoor area for Sharks still open in September? I was there in June and it was fantastic as it provides a very different atmosphere and place to relax compared to the inside. If not, is it...