Sort:  

No, I haven't. It didn't appear as a recommendation while I was searching for interesting spots, but I'll check it out some other time. :)

You must definitely visit it next time! Tropicarium/Oceanarium is not in the historical part of the city and you will spend a little time on the road. But I'm sure you will not regret it. :)