Yeah I remember seeing those tanks when I was there 5-6 years ago or so, the other tourists probably couldn't care less about colorful "rocks" in a relatively tiny tank. IIRC they're a rescue center too, one of the manatees that was had a nasty infection on it's tail